作ったものたち

内部状態が可視化された SMT ソルバーの制作 GitHub リポジトリ Scrapbox
EUF の congruence closure algorithm の様子を DOT 言語で吐き出せるようにした SMT ソルバー
EWSParserApp GitHub リポジトリ
緊急警報信号(prpr音)を解読するための Android 用アプリケーション
内部状態が可視化された SAT ソルバーの制作 GitHub リポジトリ Scrapbox
CDCL での implication graph の様子を DOT 言語で吐き出せるようにしました
discord-diff-watch-bot GitHub リポジトリ
特定のウェブサイトを監視し、更新を Discord で通知します。
某コントローラー ブログ記事
7 鍵で叩くよろこびを実現しました。
botot2 GitHub リポジトリ
Misskey 上で動くチャットボット(人工無能)。
競プロで書いたコードたち GitHub リポジトリ
D 言語で書いたライブラリがいくつかあります。
breakout-like GitHub リポジトリ 展示の様子
第 49 回木高祭で展示した同人ゲーム。178 人の方が展示場で計 557 回遊びました。いわゆるブロック崩しに独自要素を組み込んで面白くしました。
StarGetter GitHub リポジトリ 展示の様子
第 48 回木高祭で展示した自作ゲーム。159 名の方が展示場で遊びました。落ち物を拾うタイプのよくありそうなやつ。
cellular_d GitHub リポジトリ
Wolfram Code に準じてセルオートマトンを扱うソフトウェアです。D 言語で SDL2 を利用しています。

もどる