坂口和彦 さんのマイページ

@pi8027

type theory, logical relation, 形式言語理論, ソフトウェアの検証に興味があります。Coq で System F の強正規化定理の形式化をしていました。

今後の予定過去の予定日付未定


イベントがありません。
  1. 近日開催のイベント
  2. 2024/04/22 09:30
    【海へ出るつもりじゃ】シャニ6th横浜の会場(Kアリーナ)を海から見る会【なかったし】
    13歳さんが主催
  3. 2024/04/22 10:00
    【朝の部】『ふわふわクリームさらにジューシー』4月22日（月）10時開催！
    SwordFishProjectさんが主催
  4. 2024/04/22 12:00
    ボドゲナイト
    東大ボドゲサークルWeeple【新入生大さんが主催