2024.11.04
https://gyazo.com/661eb88751603012129574a391ca9db0
前：
2024.11.03
後：
2024.11.05
#日報
メモ
https://compneuro-julia.github.io/index.html
思った
異常なプラットフォーム（
マリオメーカー
や
Minecraft
,
Factorio
など）の上で計算機を作るときに大抵は整数の加減乗除を行う装置を考えることが多いように思えるが逆に命題/様相/述語論理式の恒真判定とかまあまあニッチな計算機を実装する例はあるのだろうか
メモ
https://adventar.org/calendars/10209
2024.12.15
に
ラベル付きシークエント計算
の実装を書こうかなと思っています．
やっている
久々に
GregTech
を
エディションが多すぎる
GregTech Community Pack Modern
をプレイしていいます．
https://www.curseforge.com/minecraft/modpacks/gregtech-community-pack-modern