山元 さんのマイページ

@hymathlogic

やまもとです。基礎論全般に興味があります。 数学基礎論/集合論/0は自然数/選択公理ちゃんまじ公理/不完全性定理/ゲーデル数/連続体仮説 ※プロフ無し&ツイート無しもしくはそれに近い人は即ブロだよ！

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


  1. 2012/09/16
    第二回ひらいずみセミナー二日目
    魔王ゆきみん@猫未満　
  2. 2012/09/15
    第二回ひらいずみセミナー一日目
    魔王ゆきみん@猫未満　
  3. 2012/08/09 午後
    しゅがるんとの遭遇
    ぺ！！！！　
  4. 2012/07/15 昼
    選択公理アフター・横浜観光オフ
    山元　
  5. 2012/03/31 終日
    【3/31（土）】関西すうがく徒のつどい【後半戦】
    関西すうがく徒のつどい　
1234
  1. 近日開催のイベント
  2. 2024/11/27 10:00
    20241127 第179回函館でゲームしたい@あいよる２１
    ろざ@函館ゲーム会@ボードゲームさんが主催
  3. 2024/11/27 11:00
    11月27日(水)平日ボードゲーム会vol.49@🧲立川ホームBM🧲
    🧲立川ホームBM🧲さんが主催
  4. 2024/11/27 12:30
    【水曜 昼間】EJPテストプレイ会 ＠ 錦糸町（11/27 12:30 - 16:00）
    EJPゲームズ｜ボードゲーム企画・開発・さんが主催