Ryo Ishigaki さんのマイページ

@risgk

Programmer, Embedded software engineer, 0x23 YO. Interests: C/C++, Ruby, Haskell, Coq, software engineering, formal methods, mathematical logic, etc.

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


  1. 2013/08/24
    第１回論理学徒のつどい
    山元　
前へ次へ
  1. 近日開催のイベント
  2. 2025/01/08 10:00
    【昼の部】　『河童様』　1/8（水）10時～14時
    SwordFishProjectさんが主催
  3. 2025/01/08 14:00
    🌞1/8【昼の部14:00-18:00】対戦交流オフ【初めてのかた大歓迎！】【500円】主催ろんぎぬす
    戦神白虎@12/31(火)⚒️餅つき大会さんが主催
  4. 2025/01/08 18:00
    大喜利はらぺこあおむし🦋お試し版
    銅像に育てられた主婦さんが主催