Rchr
J-GLOBAL ID:200901091471863029
Update date: Sep. 01, 2020
Minamide Yasuhiko
ミナミデ ヤスヒコ | Minamide Yasuhiko
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
Tokyo Institute of Technology School of Computing
About Tokyo Institute of Technology School of Computing
Search "Tokyo Institute of Technology School of Computing"
Detailed information
Job title:
Professor
Homepage URL (1):
http://sv.c.titech.ac.jp/minamide
Research field (1):
Information theory
Papers (36):
Yuya Uezato, Yasuhiko Minamide. Configuration reachability analysis of synchronized recursive timed automata. Computer Software. 2018. 35. 1. 140-168
Yuya Uezato, Yasuhiko Minamide. Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016. 2016. 9840. 393-405
MINAMIDE Yasuhiko. Weighted Pushdown Systems with Indexed Weight Domains. Logical Methods in Computer Science. 2016. 12. 2:0. 1-27
加賀江 優幸, 南出 靖彦. Streaming String Transducerの等価性判定と正規表現による文字列置換への応用. 情報処理学会論文誌プログラミング(PRO). 2015. 8. 3. 1-10
Synchronized Recursive Timed Automata. Synchronized Recursive Timed Automata. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. 2015. 249-265
more...
Lectures and oral presentations (3):
Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム
(第15回プログラミングおよびプログラミング言語ワークショップ 2013)
証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証
(____ 2009)
Rubyのコア言語の操作的意味論
(____ 2009)
Works (1):
型推論による共有関係の解析
南出, 靖彦 1992 -
Education (2):
- 1993 Kyoto University Graduate School, Division of Natural Science
- 1991 Kyoto University Faculty of Science
Professional career (1):
Doctor(Science) (Kyoto University)
Work history (7):
2015/07 - 現在 Tokyo Institute of Technology Information Science and Engineering
2007/08 - 2015/07 University of Tsukuba Faculty of Engineering, Information and Systems Associate Professor
2007/08/01 - University of Tsukuba
2004/04/01 - 2007/07/31 University of Tsukuba
1999/01 - 2007/07 University of Tsukuba Institute of Information Sciences and Electronics
1999/01/01 - 2004/03/31 University of Tsukuba
1993 - 1998 Kyoto University Research Associate
Show all
Committee career (5):
2018/04 - 現在 日本ソフトウェア科学会 プログラミング論研究会主査
2016/04 - 現在 情報処理学会論文誌プログラミング 編集委員
2016/04 - 現在 情報処理学会 プログライング研究会幹事
2014/04 - 2018/03 情報処理学会論文誌プログラミング 編集委員長
2012 - 2016 日本ソフトウェア科学会 理事
Association Membership(s) (3):
Association for Computing Machinery
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, Information Processing Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM