Theme

Temporal Logics (1989-1990)

• Bachelor Thesis
  ``Formal Verification of Sequential Machines Based on Their Decompositions Using Regular Temporal Logic'' (PDF) (Japanese)

Nondeterministic Finite Automata (1990-1992)

• LA symposium
  ``Minimization of Nondeterministic Finite Automata'' (PDF) (Japanese)
• Master Thesis
  ``Minimization of Nondeterministic Finite Automata'' (PDF)

Genetic Algorithms (1992-2000)

• IPSJ 46th Nat'l Conv.
  ``A Fast TSP Solution using Genetic Algorithm'' (A demonstration written in JAVA) (Japanese)
• IPSJ 47th Nat'l Conv.
  ``An Evaluation of Optimizing Capability of Genetic Algorithm --- GA vs SA ---'' (PDF) (Japanese)
• IPSJ 95-MPS-2
  ``GA based Optimization of Heuristic Search ---Bus Drivers Scheduling---'' (PDF) (Japanese)
  Yamashita Research Prize
• IPSJ 52nd Nat'l Conv.
  ``GA based Optimization of Heuristic Search ---Applied to a Bus Diagram System---'' (PDF) (Japanese)
• IPSJ trans. Vol.37 No.10
  ``GA based Optimization of Heuristic Search'' abstract (PDF) (Japanese)
• H. Kitano: Genetic Algorithm 3, Sangyo-Tosho, ISBN4-7828-5145-6
  ``GA based Bus Drivers Scheduling'' pp57-81 (Japanese)
• Proc. of 3rd Int'l Symp. on Artificial Life and Robotics Vol.1
  ``A Fast TSP Solver Using GA on JAVA'' (PDF)
• IEEJ IIC-98-3
  ``GA based Optimization of Heuristic Search'' (PDF) (Japanese)

Internet (1989-)

• Nikkei Linux the 2nd number, the 2nd feature articles: Raise the security level of Linux servers, Part 2
  ``4 steps protection method for Linux servers using free software ---Build 4 forts, repel crackers---'' pp103-110 (Japanese) (HTML version)
• Nikkei Linux March, 2000, the 2nd feature articles: Make full use of qmail, a high performance mail transfer agent, Part 1
  ``Throw away sendmail, and switch to qmail ---structure, configuration, measures against UBE---'' pp85-100 (Japanese) (HTML version)
• Nikkei Linux Serial ``Advanced technique for building and administrating Internet servers''
  • April, 2000, 1st ``Substantial Internet servers in a personal site'' pp147-151 (Japanese)
  • May, 2000, 2nd ``Name Server (1)'' pp143-148 (Japanese)
  • June, 2000, 3rd ``Name Server (2)'' pp133-140 (Japanese)
  • July, 2000, 4th ``UUCP'' pp143-150 (Japanese)
  • August, 2000, 5th ``stone (1)'' pp127-132 (Japanese)
  • September, 2000, 6th ``stone (2)'' pp131-136 (Japanese)
  • October, 2000, 7th ``firewall (1)'' pp135-142 (Japanese)
  • November, 2000, 8th ``firewall (2)'' pp173-181 (Japanese)
  • December, 2000, 9th ``ssh (1)'' pp149-158 (Japanese)
  • January, 2001, 10th ``ssh (2)'' pp139-145 (Japanese)
  • February, 2001, 11th ``ssh (3)'' pp155-164 (Japanese)
  • March, 2001, 12th ``init and getty'' pp110-120 (Japanese)
• Nikkei Linux Serial ``Internet Security: More advanced technique for building and administrating Internet servers''
  • April, 2001, 1st ``Character User Interface'' pp119-125 (Japanese)
  • May, 2001, 2nd ``screen'' pp129-135 (Japanese)
  • June, 2001, 3rd ``perl (1)'' pp121-127 (Japanese)
  • July, 2001, 4th ``perl (2)'' pp179-186 (Japanese)
  • August, 2001, 5th ``One Time Password'' pp121-126 (Japanese)
  • September, 2001, 6th ``VNC'' pp123-132 (Japanese)
  • October, 2001, 7th ``NetNews (1)'' pp135-144 (Japanese)
  • November, 2001, 8th ``NetNews (2)'' pp131-139 (Japanese)
  • December, 2001, 9th ``NetNews (3)'' pp133-141 (Japanese)
  • January, 2002, 10th ``Mail (1)'' pp135-142 (Japanese)
  • February, 2002, 11th ``Mail (2)'' pp115-123 (Japanese)
  • March, 2002, 12th ``Mail (3)'' pp115-123 (Japanese)

KLab (2000-2011)

• How to build robust and economical clustering servers,
• How to keep servers secure that touched by many developers,
• How to develop web applications that can be easily maintained,