How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ

はじめに 手順0）マイクラJE（Java Edition）の利用権購入 手順1）Twitchデスクトップアプリのインストール 手順2）Twitchアカウントの新規登録 手順3）Twitchデスクトップアプリの起動とログイン 手順4）プロフィールを作ってインストールの準備 手順5）ComputerCraft MODを追加する 手順6）インストール開始 おわりに はじめに これまで、マイクラ＆ComputerCraftのインストールを手作業でやる方法を詳細に説明してきましたが結構複雑ですよね。 でもつい最近、Twitchのデスクトップアプリを使うと驚くほど簡単にインストールできることを知りました。 たとえば手作業だと以下のような手順であるのに対して、 マイクラJE (Java Edition) の利用権購入・・・マイクラアカウント作成含む マイクラJEランチャーと素のマイクラJEインストール

本書は、未来のプログラマ、コンピュータ設計者のために書かれた、Raspberry Piを題材にコンピュータの「仕組み」、コンピュータサイエンスの基本を学ぶ書籍です。Raspberry Pi開発者たちが、プロセッサ、メモリ、ストレージ、ネットワーク、オペレーティングシステム、プログラミング、3Dグラフィックス、オーディオ、そして入出力制御などについて、それらの歴史的な背景なども合わせて詳細に解説を行います。また、解説内容の一部は、実際にRaspberry Piで動かしながら学ぶことも可能です。 はじめに ケンブリッジ ここからが本題 成長曲線の伸び悩むところ 将来に向けて 監訳者まえがき 1章　驚くべきコンピュータの姿 おいしくて果汁あふれるラズベリーの成長 SoC わくわくするクレジットカードサイズのコンピュータ Raspberry Piに何ができるか？ Raspberry Piボードの紹

def check(n) s = "*"*n f = open("test.cpp","w") f.puts <<EOS #include <cstdio> int main(){ (#{s}printf)("Hello World\\n"); } EOS f.close() return system("clang++ test.cpp") end check(ARGV[0].to_i) $ ruby check.rb 10000 clang: error: unable to execute command: Illegal instruction: 4 clang: error: clang frontend command failed due to signal (use -v to see invocation) Apple LLVM version 10.0.1 (clang

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

はじめに ハローワールド 以下にものすごく汚いコードを載せます。 このコードは一体どんな動きをするのでしょうか(タイトルからソース名から何からネタバレ済み)。 eval(sss=%w@proc{|n|;e=32.chr;a=64.chr;l=":>==;<==x"[i=n**4%-15,i+13]||"#{n}";t="eval(sss=%w#{a}#{sss[0,330]}[#{n+1}]#";r='';25.times{|y|;m=l.bytes.map{|d|(0..[62-d,2].min).map{|x|;t+=sss;"wsv2k77zuvwb9kzot8gotx82bgz7pg237pyz91wk8dr".to_i(36)[(d-48)*15+y/5*3+x]>0?t.slice!(0,9):e*9;}<<e;}.join;y>23&&m[-6,6]="#{a}*'')";p

TL;DR 文科省によるプログラミングの教材はダメダメ。PEP8読め。 追記 もちろん、この指摘が普通のコードに対するものだとすれば 「重箱の隅をつつきすぎ」 だというのは全くその通りだと思います。こんな指摘をするつもりはさらさらありません。 しかし、これが文科省という権威ある機関が発表するものならば話は全く違います。 全ての日本の教育を一身に背負うくらいの気持ちと成果を伴わなければならないとも思います。 そういう理由での、厳しい(というか細かい)指摘です。 追記2 自分の説明が足りませんでした(すみません)。ちなみにこの教材は「教員研修用」です。 この教材で研修を受けた教師にプログラミングを教えられると思って考えてみてほしいと思います。 追記3 (2019/9/25 文科省の改訂を受けて) この度文科省がPythonに関する資料の改訂版を発表しました。 文科省に対して改善を求める当初を行

【コマンドライン】unixコマンドやプログラミング言語の文法をできるだけググらない【Scrapbox, Pecoの活用】PecotldrScrapbox unixコマンドやプログラミングの文法など､ 1回ググったものを何度もググりたくない (0) tldr tldr-pagesというOSSがあってtldrというコマンドを作っています｡ tldr command_nameと打つと簡単なコマンドの説明が表示される｡ これで､ 忘れたunixコマンドやgitのコマンドはだいたいokです｡ 要するにtldrはman(マニュアルを表示する)コマンドの要約(簡易)版です｡ インストールは､ https://github.com/tldr-pages/tldr#clients から(私はBash clientsを使っています) (1) Scrapboxとpecoの組み合わせ tldrではコマンドの説明し

どうも、まさとらん（@0310lan）です！ 今回は、Googleのスプレッドシートを利用して誰でも手軽にPWAアプリを開発して公開することができるサービスをご紹介します！ スプレッドシートにデータを準備するだけなので、エンジニア以外の方でも簡単にアプリ開発を楽しむことができます。多彩な機能をグラフィカルなGUIで追加していくことも可能なので、ご興味のある方はぜひ参考にしてみてください！ 【 Glide 】 ■「Glide」の使い方 それでは、まず最初にGlideをどのように使っていけばよいのかを見ていきましょう！ サイトにアクセスしたら【Sign Up】ボタンをクリックして無償のユーザー登録を済ませておきます。 GlideはGoogleのスプレッドシートを利用するので、自分のGoogleアカウントから簡単にログインできるようになっています。 ログインが完了すると自分専用のダッシュボードが

エンジニア不足と言われて久しいですが、できる経験者を採用するのはますます難しくなっていますね。 そんななか、弊社ではひょんな縁からエンジニア未経験の新人をエンジニアとして採用することになりました。未経験とはいえ、弱小企業の弊社には悠長に育てている余裕がないため、7日間で現場投入を目指してカリキュラムを組みました。 だいたいうまくいったので、メモがわりに晒しておきます。 前提条件 誰でも7日間でエンジニアになれると言っているわけではありません。あくまで一例として捉えていただければ幸いです。 担当してもらう予定の領域 HTML/CSS コーディング JavaScript はそこそこで（動きのエフェクトやカルーセルを仕込める程度） concrete5 テーマの開発（PHPファイルに foreach を入れていくイメージ、WordPress と変わらない） 流石にアプリケーション開発で7日間は無理

テトリスは落ちてくるテトリミノを積み上げ、横一列に並べて消すという有名なゲームですが、そのテトリスを例に「技術的負債」がどういうものかたとえた記事を、エンジニアでありコンサルタントでもあるというエリック・ヒギンズ氏が公開しています。 Technical Debt Is Like Tetris – Featured Stories – Medium https://medium.com/s/story/technical-debt-is-like-tetris-168f64d8b700 「技術的負債」とは、ソフトウェアの開発において、時間がかかるより良いアプローチではなく一番早く新機能の実装などの目的を達成できるアプローチを選んでしまったために生じたソフトウェアの複雑さのこと。例えば既存の機能を変更した際に説明書を書きかえなかった場合、後から別の人が動作を把握するにはソースコードを読む作業が

はじめに この記事は Python と discord.py を利用した Discord Bot 開発のチュートリアルです。 Pythonの基礎知識がある方を対象読者としています。 （関数の定義と呼び出しができるレベルを想定しています） Python で Discord Bot を開発する場合、 Discord API ラッパー の discord.py を利用するとお手軽なのですが、 そのためにはこちらの 公式ドキュメント を根気よく読む必要があります。 この記事ではドキュメントの内容を簡単に噛み砕き、 Botを作成する手順とよく使う機能の実装方法を紹介します。 技術ドキュメントを読み慣れている方はこの記事は不要です。こちらをどうぞ。 はじめに — discord.py 1.4.0a ドキュメント クイックスタート — discord.py 1.4.0a ドキュメント プログラミング未経

※今回はほぼ実話です。 再就職して1週間経った35歳ワイ ワイ「あー、お腹へったわ」 ワイ「先週から1食置き換えダイエットをしとるから、すぐお腹が空くねん」 ワイ「なにしろ炭水化物を筋トレに置き換えとるから」 ワイ「脳みそが───」 脳「せめて食べ物に置き換えてや！？」 ワイ「───って叫んでんねん」 ワイ「まあそんなん言うててもしゃあない、お仕事ガンバルで」 お仕事開始 リーダー「今日はこのサイトの修正をしてもらうで」 ワイ「はい〜」 ワイ「まずはGitHubのリポジトリからクローンして、と」 ワイ「ローカル開発環境はどないして起動すんのかいな？」 ワイ「npmとかいうやつか？」 ワイ「よっしゃ、よう分からんから隣の席のカリポリ君に聞いてみよか」 ワイ「なあ、カリポリ君」 ワイ「ローカルサーバーを起動するにはターミナルでnpm startとかいうコマンド打てばええのんかな？」 カリポリ君

最近、僕の周りでFirebaseを使った人たちは、 「サーバーの処理をFirebaseに置き換えたら、筋肉がつきました！」(29歳, 社会人) 「Firebaseを使ったら友達も増えてわっしょいわっしょい」(11歳, 小学生) 「もうFirebase無しじゃ生きられない」(38歳, エンジニア) 「にゃーん」(1歳4ヶ月, うちの猫) と言っていました。嘘です。 冗談はさておき、趣味で開発しているアプリのサーバーサイドをFirebaseに置き換えたらすごく良かったので、ずらずらと書いていきたいと思います。 Firebaseとは？ Firebaseは、Googleが運営しているmBaaSで、iOS/AndroidアプリからWebサービスまで幅広く使えます。 リアルタイム同期や豊富な機能が特徴で、サーバーサイドの開発コストを大幅に減らすことができます。 色々機能はあるのですが、今回僕が使った機

TL;DR ブラウザ上でほぼVS codeが使えるクラウドIDEサービス「Coder」 他のVS codeライクのクラウドIDEと異なるのは「拡張機能がそのまま使える」。大半の拡張機能を利用可能 現在はアルファ版 ChromebookやiPadでの利用も想定している Dockerコンテナにプロジェクトを作成するので自由度が高い 無料プランでも十分に使える。他のクラウドIDEと比べて月額費用が安い Fast Time機能を使うと時間制で96CPUコア、メモリ16GBが利用可能(課金で殴る開発駆動) コラボ機能で1つのプロジェクトで複数ユーザでペアプログラミングができる(未確認) きっかけ 2019年2月28日の夜、「あれ、VS codeライクなクラウドIDEってなんて名前だっけ？」という疑問から 「Cloud IDE vs code」 でググったところ以下の検索結果が表示。 ここで目的である

はじめに 「解説記事を幾つも読んだけど OpenID Connect を理解できた気がしない」― この文書は、そういう悩みを抱えたエンジニアの方々に向けた OpenID Connect 解説文書です。概念的・抽象的な話を避け、具体例を用いて OpenID Connect を解説していこうと思います。 この文書では、JWS (RFC 7515)、JWE (RFC 7516)、JWK (RFC 7517)、JWT (RFC 7519)、ID トークンの説明をおこないます。 追記（2020-03-20） この記事の内容を含む、筆者本人による『OAuth & OIDC 入門編』解説動画を公開しました！ 1. 『ID トークン』を発行するための仕様 一般の方々に対しては「OpenID Connect は認証の仕様である」という説明で良いと思います。一方、技術的な理解を渇望しているエンジニアの方々に対

どこもかしこも妙ちくりんな図で混乱させてくるのうざい 自分で書いてみる gitなんてクソ難しいんだから、きちんと概念を理解させようとかすんなよ なぜgitが必要かバージョン管理のために必要、と言うと意味わからんと思う プログラムみたいなのは少しずつ変更していくんだ だから細かに変更の差分を管理したり、変更を戻せたりしなきゃきつい なぜgitか？他のバージョン管理との違いうるせぇgit使え そんなの来年考えろ gitの基本要素、用語branch： いきなり説明が難しいが、branchがわかればどうにかなる。 例えば、今編集しているプログラムに対して、RPGのセーブデータがあると思ってほしい。 それぞれのセーブデータがそれぞれのブランチにあたる。 セーブデータが1枠しか無いと、難しいだろ？何があるかわからない、戻ったり、試したりしたいからな。 セーブデータと少し違うのは、1個のブランチでも過去