河野真治 (こうのしんじ) のホームページにようこそ 論文リスト 時相論理に関する研究 講義のページ 発表 ソフトウェアのページ Agda 入門 他には... blog nkf (network kanji filter) に関すること 学内向け案内 (アクセス制限あり) イベント及び写真集 カレーのページ 沖縄に関すること fjに関すること HTMLの例題 (non frame version) (ここはフレームの方が便利) 河野真治について 琉球大学情報工学科 並列信頼研究室 昔の話題 sfの話題 その他の話題 R.I.P. English Page is here メールはこちらへ。kono@ie.u-ryukyu.ac.jp http://bw-www.ie.u-ryukyu.ac.jp/~kono