tomio2480 https://blog.hatena.ne.jp/tomio2480/ 積極的にメモっていく姿勢 https://tomio2480.hatenablog.com/ 北見 勉強会 今日はすごい濃い内容で、頭が足りませんでした。発表内容は、 「バージョン管理について」@tututen 「Webプログラミング言語 Dart」@r_kawaishi と言った感じ。今回は、二回目の参加をされた @t6s さんが飛び入りで、 「Coq」についてのお話をされました。それでは、軽く内容を。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftomio2480.hatenablog.com%2Fentry%2F20120913%2F1347536931" title="Ohotech#16 ありました - 積極的にメモっていく姿勢" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/t/tomio2480/20120912/20120912190033.jpg Hatena Blog https://hatena.blog 2012-09-13 20:48:51 rich https://tomio2480.hatenablog.com/entry/20120913/1347536931 1.0 100%