event
静的コード解析の会#6でVeriFastによる停止性検査について発表してきました。(資料作って徹夜してしまった…) 前回も同じテーマでしたが私の理解も資料も十分でなかったため(α)としてました。 が、今回の発表では多重集合、整礎関係、実際の処理系で検査でき…
ProofSummit2017とML勉強会#2に参加してきました。 とりあえず二日連続はつらいものがあった。 個々の感想 SML#の話は良かった。言語や処理系の機能が列挙されていると個人的に楽しい。そういう意味ではATSも楽しいんだけど、機能(のアップデート)が少なかっ…
静的コード解析の会#2でVeriFastによる停止性検証の導入の話をしてきました http://d.hatena.ne.jp/eldesh/20161121/1479703222">*1。 本当は私自身も発表するほど分かってないのですが、それでも楽しい部分はあるので「これまで理解している内容を詰め込ん…
先日(2015/05/30)行われたBoost.勉強会 #17 東京に久々に参加してきました。 IIJ新社屋がめっちゃ綺麗でビビりつつ滑り込みセーフ(アウト)で会場着。 セッション資料は以下にまとまってます。 Boost.勉強会 #17 東京 タイムテーブル C++は適用ドメインがまっ…
遅めの夏休みを使ってProofSummit2014とJSSST2014に行ってきました。Coqチュートリアルとサマースクール(スパコンの話)に参加し、火曜日のPPLとその他セッションをふらふらしてた感じ。 Coqチュートリアルが主目的で参加したハズなんですが、謎の強烈な眠気…
8/25,26でなにやらイベントが連続していたので行ってきました。 ProofSummit2013 OCamlMeeting2013 なごやまつり 後続のせいでかなり地味な印象になってしまったけど(^^、聴いて意味があったのは前半。 OCamlSummit 期待していた Generic Pretty Printer は…
ワークスアプリケーションズで開催されていた圏論勉強会が終了しました！ 私は全13回中第1回を除く全てに参加出来ました。週1なのでおよそ3ヶ月も経ってますねぇ。 資料一覧 推奨教科書 Awodey本 自分なりにはかなり頑張った方ですが講義について行けたとは…
一問目だけやりました。2問目が出来ない…。 練習問題 練習として以下の様な事をやってみると良いと思います。 ・二分木などの型函手及び融合則の導出 ・map f∘map g=map (f∘g)などの法則の導出。 http://nineties.github.io/category-seminar/10.html#/38 二…
この記事は LL/ML Advent Calendar #LLAdventJP 20012/12/20の参加記事です。 出来心でRTした次の瞬間には犠牲に参加することになっていました。なごやこわい。 注意：この記事では SML#1.2.0 を使うものとしています。 SML# にはC言語バインディングをサポ…
ばたばたしててこんな時期になってしまったので、個々のイベントでなく今年の夏に参加したイベント3つについて参加記録を書き留めておきます。 写真は函数プログラミングの集いでもらって来た じぇねらるたんステッカー(+ 名札) 今年の夏は PPLサマースクー…
土日にBoost.つくば(5/26)とHaskellDay(5/27)に参加してきました。(っていつの間にやらもう木曜日じゃなイカ…。) どっちにも登壇してないものの二日連続はやはりキツイものがありました。簡単に振り返っておきます。 Boost.勉強会#9 つくば 初つくばでした。…
サイボウズ・ラボの学生支援制度の成果発表会に紛れ込んで来ました。 (竹迫さんのまとめ>http://developer.cybozu.co.jp/takesako/2012/03/1-909f.html) サイボウズ・ラボさんが始めた学生支援制度の第一期生の面々が、一年間の成果発表兼卒業式を行うのを眺…
Coqチュートリアル#4最終回に行って来ました。4回とも参加できたので皆勤賞です！ 講師の [twitter:@tmiya_] さんと運営の [twitter:@kenkoba] さんお疲れ様でした。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t =…
気になっていたところに Formal Methods Forum主催Coqチュートリアル＃1があったので、どんなもんかと聞いてきました。 当日の資料もリンク先に挙がってますね。 受講者は8人くらい？来てました。 Formal Methods Forumの @tmiya_ さんが主に解説して @kenco…
池袋まで頑張って行って来ました. (私は呼び出し規約の辺りから参加).ATND 主催者(id:n7shi)さんのまとめ togetter(なぜか私の昼飯までまとめに入っているｗ 流れとしては, Xbyakを使ってsetjmp/longjmpを作ってからそれをリファインしていく感じ. サンクを…
ICFPが日本で開催されるということで, 恒例のOCaml meetingを函数型まで一般化してわいわいやるイベントが開催されました. わいわい(^^) 函数プログラミングの集い 2011 in Tokyo 函数プログラミングの集い 2011 in Tokyo #fpm2011 朝早い上に遅刻不能なので…
ライブ中継観てた. なんで今回はあんなにテンション高く観てたのか謎. ニコニコ生放送は定員オーバーでNice boat.された. 有料会員の人は見られてたのかな. ついでにirc.friend-chat.jpも落ちてた. 珍しい.
