作ったものたち

Interscheckin GitHub リポジトリ ブログ記事

交差点でのチェックインを補助するために作成された Swarm 利用者のための Android アプリケーション

内部状態が可視化された SMT ソルバーの制作 GitHub リポジトリ Scrapbox

EUF の congruence closure algorithm の様子を DOT 言語で吐き出せるようにした SMT ソルバー

EWSParserApp GitHub リポジトリ

緊急警報信号（ｐｒｐｒ音）を解読するための 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 を利用しています。

もどる