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
ｍore...
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
