• プログラミング言語Cyan
• 型推論付き静的型付け言語Ibis
• スライド一覧
• 日記