Dismiss Join GitHub today GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together. Sign up
先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ?」といった批判的諦念的なものから、「RustとGoとErlangの間の子みたいなのだなあ」「なんか読みにくい」といった反応が多くこの言語の重要性やインパクトに対して正しく理解しているものがあまりなかった。尊敬しているTD勢ですらあまり重要性が伝わってないようだ 1 2 。上記のブログ記事を読んだり、マニュアルを読んだらすぐ分かるようなことではあるが、日本語で解説しておこうと思う。なおいわゆる言語入門とかそういった類のものではないことをご理解いただきたい。 TL;DR 並行処理や分散システムの形式証明や形式検証はそれ自体
つい先日、結婚式を挙げました。 ぼくがソフトウェアエンジニア、奥さんが電子工作やプロトタイピングが得意なハードウェア寄りの人という「ものづくり夫婦」なので、自分たちらしい結婚式にしよう!ということで色々手作りしました。 せっかくなので、今後手作りしてみたい人の参考になるように、個人でもこういうのは自作できまっせっていう事例として記事に残します。 前提 式場はホテルや専門式場ではなく、昔からある迎賓館のようなところで、人数は新郎新婦入れてちょうど100人でした。 格式高い会場なので、堅苦しくならないようにしたいというのも、色々手作りした理由の一つです。 主に使用した機材 3Dプリンター 年末にこの記事を見てテンション上がってしまい、今年に入って自宅用に購入しました。 たった3万円から始める家庭に3Dプリンタがある日常 購入したのはこちら。 QIDI技術3Dプリンター/ ABS / PLA 1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く