勉強会
最近 coqtokyo 第7回Ssreflect勉強会 に参加しています。 隔週で火曜日にやっているので是非。 もうすぐ第五回講義資料(ssrcoq5.pdf)に到達しますが、ここでようやく mathcomp の話が出てきます。 さっそく opam で mathcomp をインストールしようとしたとこ…
静的コード解析の会#6でVeriFastによる停止性検査について発表してきました。(資料作って徹夜してしまった…) 前回も同じテーマでしたが私の理解も資料も十分でなかったため(α)としてました。 が、今回の発表では多重集合、整礎関係、実際の処理系で検査でき…
ProofSummit2017とML勉強会#2に参加してきました。 とりあえず二日連続はつらいものがあった。 個々の感想 SML#の話は良かった。言語や処理系の機能が列挙されていると個人的に楽しい。そういう意味ではATSも楽しいんだけど、機能(のアップデート)が少なかっ…
先日(2015/05/30)行われたBoost.勉強会 #17 東京に久々に参加してきました。 IIJ新社屋がめっちゃ綺麗でビビりつつ滑り込みセーフ(アウト)で会場着。 セッション資料は以下にまとまってます。 Boost.勉強会 #17 東京 タイムテーブル C++は適用ドメインがまっ…
8/25,26でなにやらイベントが連続していたので行ってきました。 ProofSummit2013 OCamlMeeting2013 なごやまつり 後続のせいでかなり地味な印象になってしまったけど(^^、聴いて意味があったのは前半。 OCamlSummit 期待していた Generic Pretty Printer は…
ワークスアプリケーションズで開催されていた圏論勉強会が終了しました！ 私は全13回中第1回を除く全てに参加出来ました。週1なのでおよそ3ヶ月も経ってますねぇ。 資料一覧 推奨教科書 Awodey本 自分なりにはかなり頑張った方ですが講義について行けたとは…
ばたばたしててこんな時期になってしまったので、個々のイベントでなく今年の夏に参加したイベント3つについて参加記録を書き留めておきます。 写真は函数プログラミングの集いでもらって来た じぇねらるたんステッカー(+ 名札) 今年の夏は PPLサマースクー…
土日にBoost.つくば(5/26)とHaskellDay(5/27)に参加してきました。(っていつの間にやらもう木曜日じゃなイカ…。) どっちにも登壇してないものの二日連続はやはりキツイものがありました。簡単に振り返っておきます。 Boost.勉強会#9 つくば 初つくばでした。…
Boost.勉強会#4に行って来ました. 早くも4回目となりましたBoost.勉強会です. アキラさん相変わらずパワフルですね. お疲れ様でした.今回は午前開始にも関わらず遅刻しなかった！勝った！ セッション セッション一覧 徐々に難易度が上がっております. より実…
前回に引き続き, Boost.勉強会#2に行ってきました. 今回は遅刻しなかった！ustはここ 録画のon/offはなぜか私が手を出していたので,各セッションの頭が微妙に切れてるかも知れないです…. すみませんm(_ _)m セッション(かいつまんで) Interfaces は意外とが…
Boost勉強会,Boost.懇親会に参加したので感想など. まじめなまとめはアキラさんのページ 実際のセッションはustでの配信をご覧ください.便利な世の中だ…. リアル初遭遇 id:wraith13 さんとm0h1canさんと id:tt_clown さんと初遭遇！ tt_clownさんとはあんま…
Goコンパイラを落とす会に行ってきました.おかしなコードを喰わせて処理系いぢめてやろうという趣旨です.gccフロントエンドがよく分からんのでvmware上のubuntuに処理系入れていぢってたんですが, 結論としては…落ちませんでしたorz やったこと インターフェ…
第一回層圏トポス米田フェスティバル@矢上祭に行ってきました. id:oto-oto-otoさんが板書の写真をアップされてます. 内容としては, 10:00から20:30まで缶詰め状態で教科書読み続け, 圏,関手,自然変換,米田のレンマについて手取り足取り教えてもらう語り合う…
流石に二日連続はきついな. テンション高いうちに書いとこう.とりあえずリアルで遭遇したはてなーにご挨拶 List.map (fun id->(string_of_id id)^"さんお疲れ様でした.") [ id:finalfusion ; id:mzp ] 注)短くしません Code Golf とりあえずプロゴルファーの…
快晴でした. 坂を登って暑かったけど景色よいので思わず撮影. 写真だと意外と開放感が伝わらないな…. みなとみらいが未来っぽい. すごく深いよ. これから温暖化に備えて東京を地下に造るべき. 内容 ポインタ経由のメンバ関数(non-virtual)は,ポインタが死ん…
