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

@pi8027

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

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


イベントがありません。
  1. 近日開催のイベント
  2. 2024/12/25 10:00
    負けヒロインが多すぎる！の主人公〜温水和彦生誕祭〜聖地巡礼オフ会
    渥美さんが主催
  3. 2024/12/25 12:00
    クリスマスパーティボードゲーム会 in リントポルク(12/24)
    リントポルク@ボドゲカフェさんが主催
  4. 2024/12/25 13:00
    【さいたま】12/25（水）13時 重ゲー相席卓
    クエスチョン🎲さいたまのボードゲームのおさんが主催