-
This website itself!
このしょうもないウェブサイト自身が一つの作成物と言っても過言ではないでしょう。
-
Method outline view for Eclipse Platform
去年のプロジェクト研究で作ったEclipseのViewを載せます。
現在それを改良中です。ダウンロードはこちら。 -
したたか簡単な神経衰弱
iTunes PodcastでSwiftという言語を学習した時に課題で作りました。
Xcodeでプロジェクトファイルを開いて実行してください。
ダウンロードはこちら。 -
面白くないワードゲーム
Operating System Bの授業でソケットプログラミングをテーマに作ったワードゲームです。
複数人で遊べるため,暇な人は誰かと遊んでみてください。
ダウンロードはこちら:サーバ, クライアント, 予備ファイル
Usage:
$ gcc DieWithError.c myTCPServer.c -o server; gcc DieWithError.c myTCPClient.c -o client
$ ./server 8000
On multiple terminals,$ ./client [server's IP address] 8000
-
ナイトツアー
Reliable Software の授業で作ったクローズドナイトツアーを解くプログラムです。SAT solverとしてglucose 4.0を用います。
NxNボード
プログラム内でWarnsdorff's ruleで解くプログラムはこちら。
cnfファイルを生成してSAT solverでとくプログラムはbrute forceと Warnsdorff's ruleのどちらかを選んでください。
MxNボード
cnfファイルを生成してSAT solverでとくプログラムはbrute forceと Warnsdorff's ruleのどちらかを選んでください。
SAT solverで生成された結果のデコーダはこちら
Example Usage:
$ gcc a3p1.c -o a3p1; ./a3p1 2 3 3
(3,3)からスタートするナイトツアー
$ glucose a3p1.cnf result.sat; ./decoder
SAT solverでといて結果をデコード
$ cat a3p1.sol
デコーダの結果を表示 -
Nothing so far...
ここに何か出来次第逐一上げていきます。