研究者

J-GLOBAL ID：200901091471863029 更新日: 2020年09月01日

南出靖彦

ミナミデヤスヒコ | Minamide Yasuhiko

所属機関・部署：
職名：教授
ホームページURL (1件)： http://sv.c.titech.ac.jp/minamide

研究分野 (1件)：情報学基礎論

論文 (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
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

もっと見る

講演・口頭発表等 (3件)：

Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム
(第15回プログラミングおよびプログラミング言語ワークショップ 2013)
証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証
(日本ソフトウェア科学会第26回大会____ 2009)
Rubyのコア言語の操作的意味論
(日本ソフトウェア科学会第26回大会____ 2009)

Works (1件)：

型推論による共有関係の解析
南出, 靖彦 1992 -

学歴 (2件)：

- 1993 京都大学理学研究科数理解析
- 1991 京都大学理学部数学

学位 (1件)：

博士(理学) (京都大学)

経歴 (7件)：

2015/07 - 現在東京工業大学情報理工学研究科教授
2007/08 - 2015/07 筑波大学システム情報系准教授
2007/08/01 - 筑波大学大学院システム情報工学研究科准教授
2004/04/01 - 2007/07/31 筑波大学大学院システム情報工学研究科講師
1999/01 - 2007/07 筑波大学電子・情報工学系講師

全件表示

委員歴 (5件)：

2018/04 - 現在日本ソフトウェア科学会プログラミング論研究会主査
2016/04 - 現在情報処理学会論文誌プログラミング編集委員
2016/04 - 現在情報処理学会プログライング研究会幹事
2014/04 - 2018/03 情報処理学会論文誌プログラミング編集委員長
2012 - 2016 日本ソフトウェア科学会理事

所属学会 (3件)：

Association for Computing Machinery , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM