English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報学専攻、Ⅰ類 (情報系) 

顔写真 助教 
若月 光夫 
ワカツキ ミツオ 
MITSUO WAKATSUKI 

1965年生まれ  
Fax.042-443-5291  
 
個人ウェブサイトはこちら  

その他の所属・職名
大学院情報理工学研究科、情報理工学部  総合情報学専攻、総合情報学科  学生支援担当(平成25年度総合情報学科入学生担当)  2013/04-現在 

経歴
電気通信大学電気通信学部  助手  1993/04/01-2007/03/31 
電気通信大学電気通信学部  助教  2007/04/01-2010/03/31 
電気通信大学大学院情報理工学研究科、情報理工学部  助教  2010/04/01-現在 

学歴
東京都立国立高等学校  普通科  1984/03/09  卒業 
電気通信大学  電気通信学部  通信工学科  1988/03/23  卒業 
電気通信大学大学院  電気通信学研究科  電子情報学専攻  博士前期  1990/03/23  修了 
電気通信大学大学院  電気通信学研究科  電子情報学専攻  博士後期  1993/03/23  修了 

学位
博士(工学)  電気通信大学  1993/03/23 

免許・資格
第一種情報処理技術者  1992/06 

学内担当授業科目
2017  コンピュータリテラシー  前期  学部(昼間) 
2017  プログラミング言語実験  前期  学部(昼間)  専門科目 
2017  メディア情報学実験  後期  学部(昼間)  専門科目 
2017  情報領域演習第一  後期  学部(昼間)  専門科目 
詳細表示...

学外担当授業科目
2001  コンピュータ入門  獨協大学経済学部 
詳細表示...

現在の専門分野
情報学基礎理論 
知能情報学 

研究キーワード
オートマトン・形式言語理論 
計算論的学習理論 
組合せ最適化 
ゲーム情報学 
計算理論 
知能情報学 
計算機科学 

現在の研究課題
オートマトン・形式言語理論に関する研究  オートマトン 形式言語  1993-現在 
計算論的学習理論に関する研究  帰納推論 極限同定 質問による学習  1994-現在 
組合せ最適化問題に関する研究  組合せ最適化問題 計算量 近似アルゴリズム  1994-現在 
ゲーム情報学に関する研究  ゲーム情報学  2015-現在 

著書
著書  UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -  渡辺成良,若月光夫,織田健  共立出版株式会社  1997/01 
著書  UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -(第2版)  渡辺成良,若月光夫,織田健  共立出版株式会社  2001/04 
著書  応用オートマトン工学  西野哲朗,若月光夫,後藤隆彰  コロナ社  1-52  2012/02 
著書  情報工学のための離散数学入門  西野哲朗,若月光夫  数理工学社  1-59, 126-139  2015/08/25  978-4-86481-032-6 
詳細表示...

論文
一般論文  有  単純決定性プッシュダウンオートマトンの等価性判定を行う直接的分岐アルゴリズム  共著  若月光夫,富田悦次,藤橋忠悟  電子情報通信学会論文誌D-I分冊  J72-D-I/ 5, 327-334  1989/05 
一般論文  有  単純決定性プッシュダウンオートマトンの等価性判定の改良分岐アルゴリズムとその最大時間計算量  共著  若月光夫,富田悦次  電子情報通信学会論文誌D-I分冊  J74-D-I/ 9, 595-603  1991/09 
一般論文  有  単純決定性プッシュダウンオートマトンの等価性を決定する最短入力記号列長の上界  共著  若月光夫,富田悦次  電子情報通信学会論文誌D-I分冊  J75-D-I/ 10, 950-953  1992/10 
一般論文  有  A fast algorithm for checking the inclusion for very simple deterministic pushdown automata  共著  Mitsuo Wakatsuki, Etsuji Tomita  The Institute of Electronics, Information and Communication Engineers Transactions on Information and Systems  E76-D/ 10, 1224-1233  1993/10 
一般論文  有  A polynomial-time algorithm for checking the inclusion for strict deterministic restricted one-counter automata  共著  Ken Higuchi, Etsuji Tomita, Mitsuo Wakatsuki  The Institute of Electronics, Information and Communication Engineers Transactions on Information and Systems  E78-D/ 4, 305-313  1995/04 
詳細表示...

研究発表
学会口頭発表  Simple DPDAの等価性判定を行う直接的分岐アルゴリズムの簡単化  昭和63年電子情報通信学会春季全国大会講演論文集(分冊D-1),D-343  無  若月光夫,富田悦次,小倉弘敬  1988/03 
学会口頭発表  Simple DPDAの等価性判定を行う直接的分岐アルゴリズム  電子情報通信学会コンピュテーション研究会技術研究報告,COMP87-81  無  若月光夫,富田悦次,小倉弘敬  1988/03 
学会口頭発表  単純決定性プッシュダウンオートマトンの等価性判定を行う直接的分岐アルゴリズムの改良  電子情報通信学会コンピュテーション研究会技術研究報告,COMP90-23  無  若月光夫,富田悦次  1990/07 
学会口頭発表  単純決定性プッシュダウンオートマトンの等価性判定に要する最大時間計算量の改善  電子情報通信学会コンピュテーション研究会技術研究報告,COMP90-24  無  若月光夫,富田悦次  1990/07 
学会口頭発表  Very Simple DPDの包含性判定を行う高速アルゴリズム  電子情報通信学会コンピュテーション研究会技術研究報告,COMP92-43  無  Mitsuo Wakatsuki, Etsuji Tomita  1992/10 
詳細表示...

科学研究費助成事業
決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究  その他  1994-1994 
決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用  基盤研究(C)一般  2006-2007 
形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用  基盤研究(C)一般  2008-2010 
形式言語の効率的学習アルゴリズムの開発及びその応用システムの構築  基盤研究(C)一般  2011-2014 
詳細表示...

共同・受託研究実績
研究・教育活性化支援システムによる支援プロジェクト「先進的アルゴリズムの開発と応用に関する研究」  2002-2003  共同研究  学内共同研究 
詳細表示...

所属学協会
電子情報通信学会  1988/01-現在 
情報処理学会  1993/04-現在 
人工知能学会  1998/07-現在 
LAシンポジウム  1993/04-現在 
詳細表示...

会議・研究会等
The 4th International Workshop on Algorithmic Learning Theory (ALT'93), Tokyo, Japan  Local Arrangements Committee  1993/11 
The 6th International Workshop on Algorithmic Learning Theory (ALT'95), Fukuoka, Japan  A subreferee for ALT'95  1995/10 
The 7th International Workshop on Algorithmic Learning Theory (ALT'96)  A subreferee for ALT'96  1996/10 
The 8th International Workshop on Algorithmic Learning Theory (ALT'97), Sendai, Japan  A referee for ALT'97  1997/10 
情報処理学会第64回全国大会  一般講演「知的アルゴリズム」会場座長  2002/03/13 
詳細表示...

委員会・審議会等
情報処理学会  数理モデル化と問題解決研究会運営委員  1999/04-2003/03 
LAシンポジウム  2002年度事務局委員  2002/04-2003/03 
LAシンポジウム  2010年度事務局委員  2010/04-2011/03 
情報処理学会  数理モデル化と問題解決研究会運営委員  2010/04-2014/03 
情報処理学会  数理モデル化と問題解決研究会運営委員  2017/04-現在 
詳細表示...

他大学等教育支援
非常勤講師  プログラミングⅡ(東京都立短期大学経営システム学科)  1999/04-2000/03 
講師(非常勤)  コンピュータ入門(獨協大学経済学部)  2001/04-2002/03 
詳細表示...

社会貢献活動
学術雑誌関係  情報処理学会数理モデル化と問題解決研究会  1999/04-2003/03  運営委員会委員 
学術雑誌関係  情報処理学会数理モデル化と問題解決研究会  2010/04-2014/03  運営委員会委員 
研究成果の公開  科学研究費補助金 奨励研究(A) 「決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究」(平成6年度)(科学研究費助成事業データベース)  1994-現在 
研究成果の公開  科学研究費補助金 基盤研究(C) 「決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用」(平成18~19年度)(科学研究費助成事業データベース)  2006-現在 
研究成果の公開  科学研究費補助金 基盤研究(C) 「形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用」(平成20~22年度)(科学研究費助成事業データベース)  2008-現在 
詳細表示...

学内委員会等
情報通信工学科ドメイン管理者会  (情報通信工学科の計算機システムの運用管理(2005年度~:利用者アカウント新規登録・削除の作業))  1999-2011/04 
情報通信工学科情報メディア工学講座卒業研究発表会実務担当世話人  (情報通信工学科情報メディア工学講座における「情報通信工学実験第三」および「卒業研究」の発表に関連する一連の準備作業および発表会の運営等の実務全般)  2003/04-2004/02 
情報通信工学科情報メディア工学講座卒業研究発表会実務担当世話人  (情報通信工学科情報メディア工学講座における「情報通信工学実験C」および「卒業研究」の発表に関連する一連の準備作業および発表会の運営等の実務全般)  2005/04-2006/02 
情報通信工学科情報メディア工学講座卒業研究発表会実務担当世話人  (情報通信工学科情報メディア工学講座における「情報通信工学演習」および「卒業研究」の発表に関連する一連の準備作業および発表会の運営等の実務全般)  2007/04-2008/02 
情報通信工学科情報メディア工学講座卒業研究発表会実務担当世話人  (情報通信工学科情報メディア工学講座における「情報通信工学演習」および「卒業研究」の発表に関連する一連の準備作業および発表会の運営等の実務全般)  2009/04-2010/02 
詳細表示...