日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
Department of Informatics, Cluster I (Informatics and Computer Engineering) 

顔写真 Assistant Professor 
MITSUO WAKATSUKI 

Year of birth:1965  
Fax.042-443-5291  
 
Personal website  

Other affiliation / position
Graduate School of Informatics and Engineering, Faculty of Informatics and Engineering  Department of Informatics  学生支援担当(平成25年度総合情報学科入学生担当)  2013/04-2017/03 

Career
Faculty of Electro-Communications, The University of Electro-Communications  Research Associate  1993/04/01-2007/03/31 
Faculty of Electro-Communications, The University of Electro-Communications  Assistant Professor  2007/04/01-2010/03/31 
Graduate School of Informatics and Engineering & Faculty of Informatics and Engineerings, The University of Electro-Communications  Assistant Professor  2010/04/01-Present 

Academic background
Tokyo Metropolitan Kunitachi High School  General Course  1984/03/09  Graduated 
The University of Electro-Communications  Faculty of Electro-Communications  Department of Communication Engineering  1988/03/23  Graduated 
The University of Electro-Communications  Graduate School, Division of Electro-Communications  Course in Communications and Systems Engineering  Master's program  1990/03/23  Completed 
The University of Electro-Communications  Graduate School, Division of Electro-Communications  Course in Communications and Systems Engineering  Doctoral program  1993/03/23  Completed 

Academic degrees
博士(工学)  The University of Electro-Communications  1993/03/23 

Licenses and qualifications
第一種情報処理技術者  1992/06 

Classes responsible within the university
2017  Computer Literacy  Spring semester  Undergraduate, daytime 
2017  Programming Language Experiment  Spring semester  Undergraduate, daytime  Subject in specialty 
2017  Media Science and Engineering Laboratory  Fall semester  Undergraduate, daytime  Subject in specialty 
2017  Exercise in Informatics I  Fall semester  Undergraduate, daytime  Subject in specialty 
View details...

Classes responsible in other universities
2001  コンピュータ入門  獨協大学経済学部 
View details...

Current research areas
Theory of informatics 
Intelligent informatics 

Research keywords
Automata and Formal Language Theory 
Computational Learning Theory 
Combinatorial Optimization 
Game Informatics 
Theory of Computation 
Intelligent Informatics 
Computer Science 

Current research subjects
Study on Automata and Formal Language Theory  Automaton Formal Language  1993-Present 
Study on Computational Learning Theory  Inductive Inference Identification in the Limit Learning via Queries  1994-Present 
Study on Combinatorial Optimization Problems  Combinatorial Optimization Problem Computational Complexity Approximate Algorithm  1994-Present 
Study on Game Informatics  Game Informatics  2015-Present 

Published books
Book  UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -  渡辺成良,若月光夫,織田健  共立出版株式会社  1997/01 
Book  UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -(第2版)  渡辺成良,若月光夫,織田健  共立出版株式会社  2001/04 
Book  Applied Automata Engineering  Tetsuro Nishino, Mitsuo Wakatsuki, Takaaki Goto  Corona Publishing Co., Ltd.  1-52  2012/02 
Book  情報工学のための離散数学入門  Tetsuro Nishino, Mitsuo Wakatsuki  数理工学社  1-59, 126-139  2015/08/25  978-4-86481-032-6 
View details...

Published papers
Paper  Yes  A direct branching algorithm for checking equivalence of simple deterministic pushdown automata  Joint  Mitsuo Wakatsuki, Etsuji Tomita, Chugo Fujihashi  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I  J72-D-I/ 5, 327-334  1989/05 
Paper  Yes  An improved branching algorithm for checking the equivalence of simple DPDA's and its worst-case time complexity  Joint  Mitsuo Wakatsuki, Etsuji Tomita  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I  J74-D-I/ 9, 595-603  1991/09 
Paper  Yes  On the upper bound of the shortest length of input strings to decide equivalence of simple deterministic pushdown automata  Joint  Mitsuo Wakatsuki, Etsuji Tomita  The Transactions of the Institute of Electronics, Information and Communication Engineers D-I  J75-D-I/ 10, 950-953  1992/10 
Paper  Yes  A fast algorithm for checking the inclusion for very simple deterministic pushdown automata  Joint  Mitsuo Wakatsuki, Etsuji Tomita  The Institute of Electronics, Information and Communication Engineers Transactions on Information and Systems  E76-D/ 10, 1224-1233  1993/10 
Paper  Yes  A polynomial-time algorithm for checking the inclusion for strict deterministic restricted one-counter automata  Joint  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 
View details...

Research presentations
Oral presentation for an academic conference  Simple DPDAの等価性判定を行う直接的分岐アルゴリズムの簡単化  昭和63年電子情報通信学会春季全国大会講演論文集(分冊D-1),D-343  No  若月光夫,富田悦次,小倉弘敬  1988/03 
Oral presentation for an academic conference  A direct branching algorithm for checking equivalence of simple deterministic pushdown automata  Technical Report of IEICE, COMP87-81  No  若月光夫,富田悦次,小倉弘敬  1988/03 
Oral presentation for an academic conference  Improvements on a direct branching algorithm for checking equivalence of simple deterministic pushdown automata  Technical Report of IEICE, COMP90-23  No  若月光夫,富田悦次  1990/07 
Oral presentation for an academic conference  An improvement on the worst-case time complexity of an algorithm for checking equivalence of simple deterministic pushdown automata  Technical Report of IEICE, COMP90-24  No  若月光夫,富田悦次  1990/07 
Oral presentation for an academic conference  A fast algorithm for checking the inclusion for very simple deterministic pushdown automata  Technical Report of IEICE, COMP92-43  No  Mitsuo Wakatsuki, Etsuji Tomita  1992/10 
View details...

Grants-in-aid for scientific research
決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究  Other  1994-1994 
Developments of Learning Algorithms for Deterministic Context-Free Languages in Some Classes and Their Applications  2006-2007 
Developments of efficient algorithms for learning from examples of formal languages and their applications  2008-2010 
形式言語の効率的学習アルゴリズムの開発及びその応用システムの構築  2011-2014 
View details...

Past records of joint or funded research
研究・教育活性化支援システムによる支援プロジェクト「先進的アルゴリズムの開発と応用に関する研究」  2002-2003  Joint research  Joint research within the university 
View details...

Memberships of academic societies
The Institute of Electronics, Information and Communication Engineers  1988/01-Present 
Information Processing Society of Japan  1993/04-Present 
The Japanese Society for Artificial Intelligence  1998/07-Present 
LA Symposium  1993/04-Present 
View details...

Involvement in conference and research meetings
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 
View details...

Committee or council involvement
Information Processing Society of Japan  数理モデル化と問題解決研究会運営委員  1999/04-2003/03 
LA Symposium  2002年度事務局委員  2002/04-2003/03 
LA Symposium  2010年度事務局委員  2010/04-2011/03 
Information Processing Society of Japan  数理モデル化と問題解決研究会運営委員  2010/04-2014/03 
Information Processing Society of Japan  数理モデル化と問題解決研究会運営委員  2017/04-Present 
View details...

Educational support at other universities
非常勤講師  プログラミングⅡ(東京都立短期大学経営システム学科)  1999/04-2000/03 
講師(非常勤)  コンピュータ入門(獨協大学経済学部)  2001/04-2002/03 
View details...

Social activities
Academic journal activities  情報処理学会数理モデル化と問題解決研究会  1999/04-2003/03  運営委員会委員 
Academic journal activities  情報処理学会数理モデル化と問題解決研究会  2010/04-2014/03  運営委員会委員 
Publication of research results  科学研究費補助金 奨励研究(A) 「決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究」(平成6年度)(科学研究費助成事業データベース)  1994-Present 
Publication of research results  科学研究費補助金 基盤研究(C) 「決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用」(平成18~19年度)(科学研究費助成事業データベース)  2006-Present 
Publication of research results  科学研究費補助金 基盤研究(C) 「形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用」(平成20~22年度)(科学研究費助成事業データベース)  2008-Present 
View details...

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