エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
名古屋 Hackathon - 月の塵
イベント, Coq, Clojure名古屋 Hackathon に参加してきた。朝からうだうだしていたので、少しばかり遅刻... イベント, Coq, Clojure名古屋 Hackathon に参加してきた。朝からうだうだしていたので、少しばかり遅刻して、着いたころにはもうチーム分けが済んでいた。 Scala チームと Coq チームの両方からお誘いがあり、 Scala チームの SICP を読みながら Lisp インタプリタを作るというテーマに後ろ髪を引かれながらも、下準備していたものがあったので Coq チームへ。Coq チームは、 Coq の extraction 機能で抽出できる言語を増やそうということで、 yoshihiro503 さんは Coq to HaXe、 rf0444 さんは Scala、 mzp は Ruby、と、チームを組む必要があるのかというくらいの統一感のなさ。自分は athos0220 さんと Coq to Clojure に手をつけていたのだけれど、こちらもそれぞれ勝手にしていて、
2010/10/11 リンク