研究テーマ

時相論理 (1989年〜1990年)

• 特別研究報告書 (卒業論文)
  「並列分解に基づく順序機械の正則時相論理による形式的検証」 (PDF)

非決定性オートマトン (1990年〜1992年)

• LA シンポジウム
  「非決定性有限オートマトンの状態数最小化」 (PDF)
• Master Thesis
  「Minimization of Nondeterministic Finite Automata」 (PDF)

遺伝的アルゴリズム (1992年〜2000年)

• 情報処理学会 第 46 回全国大会
  「遺伝的アルゴリズムによる TSP の高速解法」 (JAVA によるデモ)
• 情報処理学会 第 47 回全国大会
  「遺伝的アルゴリズムの最適解探索能力に関する評価 ---GA と SA の比較---」 (PDF)
• 情報処理学会 第二回数理モデル化と問題解決研究会 研究報告 95-MPS-2
  「GA によるヒューリスティック探索の最適化 ---バス仕業ダイヤの作成---」 (PDF)
  平成 9 年度山下記念研究賞受賞
• 情報処理学会 第 52 回全国大会
  「GA によるヒューリスティック探索の最適化 ---バスダイヤ編成システムへの適用---」 (PDF)
• 情報処理学会 論文誌 Vol.37 No.10
  「GA によるヒューリスティック探索の最適化」 要旨 (PDF)
• 北野宏明編: 遺伝的アルゴリズム 3, 産業図書, ISBN4-7828-5145-6
  「遺伝的アルゴリズムによるバス仕業ダイヤ作成」pp57-81
• Proc. of 3rd Int'l Symp. on Artificial Life and Robotics Vol.1
  ``A Fast TSP Solver Using GA on JAVA'' (PDF)
• 電気学会 産業計測制御研究会 IIC-98-3
  「GA によるヒューリスティック探索の最適化」 (PDF)

インターネット (1989年〜)

• 日経Linux 1999 年 11 月号 (創刊 2 号) 特集 2: Linux サーバのセキュリティを高める, Part 2
  「フリーの定番ソフトを利用した 4 段階 Linux サーバ防御法 ---4 つの砦でクラッカーを撃退せよ---」 pp103-110   (HTML 版)
• 日経Linux 2000 年 3 月号 特集 2: 高性能メール配送エージェント qmail 徹底活用, Part 1
  「sendmail を捨て, qmail に乗り換える ---qmail の仕組みから設定管理, 迷惑メール対策まで---」 pp85-100   (HTML 版)
• 日経Linux 連載「実践で学ぶ、一歩進んだサーバ構築・運用術」
  • 2000 年  4 月号 第  1 回 「ここまでできる充実環境」 pp147-151   (HTML 版)
  • 2000 年  5 月号 第  2 回 「ネーム・サーバ (前編)」 pp143-148   (HTML 版)
  • 2000 年  6 月号 第  3 回 「ネーム・サーバ (後編)」 pp133-140   (HTML 版)
  • 2000 年  7 月号 第  4 回 「UUCP の活用」 pp143-150   (HTML 版)
  • 2000 年  8 月号 第  5 回 「stone (前編)」 pp127-132   (HTML 版)
  • 2000 年  9 月号 第  6 回 「stone (後編)」 pp131-136   (HTML 版)
  • 2000 年 10 月号 第  7 回 「ファイアウォール (前編)」 pp135-142   (HTML 版)
  • 2000 年 11 月号 第  8 回 「ファイアウォール (後編)」 pp173-181   (HTML 版)
  • 2000 年 12 月号 第  9 回 「ssh (前編)」 pp149-158   (HTML 版)
  • 2001 年  1 月号 第 10 回 「ssh (中編)」 pp139-145   (HTML 版)
  • 2001 年  2 月号 第 11 回 「ssh (後編)」 pp155-164   (HTML 版)
  • 2001 年  3 月号 第 12 回 「init と getty」 pp110-120
• 日経Linux 連載「インターネット・セキュリティ: さらに進んだサーバ構築／運用術」
  • 2001 年  4 月号 第  1 回 「キャラクタ・ユーザー・インタフェース」 pp119-125
  • 2001 年  5 月号 第  2 回 「screen」 pp129-135
  • 2001 年  6 月号 第  3 回 「perl (前編)」 pp121-127
  • 2001 年  7 月号 第  4 回 「perl (後編)」 pp179-186
  • 2001 年  8 月号 第  5 回 「使い捨てパスワード」 pp121-126
  • 2001 年  9 月号 第  6 回 「VNC」 pp123-132
  • 2001 年 10 月号 第  7 回 「ネット・ニューズ (前編)」 pp135-144
  • 2001 年 11 月号 第  8 回 「ネット・ニューズ (中編)」 pp131-139
  • 2001 年 12 月号 第  9 回 「ネット・ニューズ (後編)」 pp133-141
  • 2002 年  1 月号 第 10 回 「メール (前編)」 pp135-142
  • 2002 年  2 月号 第 11 回 「メール (中編)」 pp115-123
  • 2002 年  3 月号 第 12 回 「メール (後編)」 pp133-143

KLab (2000年〜2011年)

• 瞬間的な大負荷に対しても安定的かつ経済的に運用できるサーバー群の構築
• 多数の開発者が関わるサーバ群をいかにセキュアに保つか
• 保守性のよいWebアプリケーションの開発方法