mapf0ld Logへようこそ

このサイトは, 私mapf0ldことHiroyukiの信仰記録であり, 信仰の証の置き場であり, また考えの置き場です.

サイトは現在建設中です. フロントエンドに弱いので, Hugoを使って生成しています.

私の興味は,

• 計算機科学
  • 線型論理
  • 応用圏論
  • π計算
  • 型理論とそれによる構成的数学
  • 計算言語学

です. これらのトピックについても色々書き連ねていく予定です.