Koja's Portfolio

  1. This website itself!

    このしょうもないウェブサイト自身が一つの作成物と言っても過言ではないでしょう。

  2. Method outline view for Eclipse Platform

    去年のプロジェクト研究で作ったEclipseのViewを載せます。
    現在それを改良中です。ダウンロードはこちら

  3. したたか簡単な神経衰弱

    iTunes PodcastでSwiftという言語を学習した時に課題で作りました。
    Xcodeでプロジェクトファイルを開いて実行してください。
    ダウンロードはこちら

  4. 面白くないワードゲーム

    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

  5. ナイトツアー

    Reliable Software の授業で作ったクローズドナイトツアーを解くプログラムです。SAT solverとしてglucose 4.0を用います。
    NxNボード
    プログラム内でWarnsdorff's ruleで解くプログラムはこちら
    cnfファイルを生成してSAT solverでとくプログラムはbrute forceWarnsdorff's ruleのどちらかを選んでください。
    MxNボード
    cnfファイルを生成してSAT solverでとくプログラムはbrute forceWarnsdorff'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 デコーダの結果を表示

  6. Nothing so far...

    ここに何か出来次第逐一上げていきます。