This is NAKAMURA Shogo's page to introduce my works in Mukai Research Group. Thank you for visiting. 2006年度秋学期 レポート: モナドへの近道・Haskellからの寄道 (Japanese, PDF 82KByte) スライド: Haskell Introduction --- Type in Haskell (Japanese, PDF 1296KByte) ソースコード: Categorial Grammar in PTQ (Haskell, HS 7KByte) メモ: Comma Category (Japanese, PDF 44KByte) らくがき: キューブ型ダイアグラムの図形的性質を利用した推論の例? (Japanese, PDF 22KByte) 2006年度春学