これはヘッダである. 僕が作った.

読みたい本

腐っても数学科の理論計算機専門なので, 線形論理からは逃れられないという現実に向き合わなければいけない. 照井先生のpdfで紹介されていた以下の2冊を図書館で借りてきた.

  • 線形論理入門 竹内外史著
  • Lectures on linear logic Troelstra著

投稿日

カテゴリー:

投稿者:

タグ:

コメント

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です