今日はすごい濃い内容で、頭が足りませんでした。発表内容は、 「バージョン管理について」@tututen 「Webプログラミング言語 Dart」@r_kawaishi と言った感じ。今回は、二回目の参加をされた @t6s さんが飛び入りで、 「Coq」についてのお話をされました。…

先月からLinuxに纏わる御勉強をしています。 というか、@tututenさんにお願いして教えを乞うております。 Linuxについて勉強しながら、何かものづくりする。 というテーマの元、始まりました。特にまとめる癖もなかったので、第一回から思い出しながら書いて…