備忘録
いろいろ備忘録
備忘録的なものです
Profile
自己紹介！！
hugoでページ作ってみたらめっちゃ楽だったので今後これで行きたいと思います！！
軽く自分について紹介していきます．
LogicCalculator
SATソルバの実装
ここから飛べます.
構文解析のライブラリを作ったので使いたいと思い，高機能の計算機を作るのに挫折したので一旦ちょっと簡単なSATソルバを書いてみました．
再帰下降構文解析が関数型言語とかなり相性がいいことがわかってよかったです．
4DTicTacToe
4次元〇✕ゲームの実装
ここから飛べます.
2次元の〇✕ゲームってくっそつまんないじゃないですか．
で3次元の〇✕ゲームってもう既出で，ボードゲームとかで結構あったりするんですね．
もうこれは4次元にするしかないなって思って（？）
Twitterでもちょっとバズりました．