Koja's Portfolio

  1. This website itself!

    I cannot deny that this website is one of my portfolios...

  2. Method outline view for Eclipse Platform

    I created this view in Project Research B last year.
    Download from here.
    Now I'm developing verification/correction tool for Eclipse Platform.

  3. Extremely easy concentration game

    I created this as an assignment when I learned Swift programming by iTunes podcast.
    Please open the project file and run it on Xcode.
    Download from here.

  4. Uninteresting word game

    This is boring word game created in the class of Operating System B. You can play it with others. Please play when you have free time. (I wouldn't play this boring and uninteresting game even if I'm eager to play boring and uninteresting game.)
    Download from here:ServerClientSupplement File
    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. Knight's tour

    These programs solve the closed knight's tour. I used glucose 4.0 as SAT solver.
    NxN board
    If you want to solve within the program by using Warnsdorff's rule, download from here.
    If you want to encode into CNF file and solve with SAT solver, choose from brute force or Warnsdorff's rule.
    MxN board
    If you want to encode into CNF file and solve with SAT solver, choose from brute force or Warnsdorff's rule.
    If you want to decode the result generated by SAT solver, please use this decoder.
    Example Usage:
    $ gcc a3p1.c -o a3p1; ./a3p1 2 3 3 Closed knight's tour starting from (3,3)
    $ glucose a3p1.cnf result.sat; ./decoder Solved by SAT solver and decoding the result
    $ cat a3p1.sol Displaying the decoding result

  6. Nothing so far...

    I plan to upload something I create in the future.