研究者
J-GLOBAL ID:200901050076000676   更新日: 2021年02月19日

武市 正人

タケイチ マサト | Takeichi Masato
ホームページURL (2件): http://takeichimasato.nethttp://takeichi.dyndns.org
研究分野 (2件): ソフトウェア ,  情報学基礎論
研究キーワード (12件): プログラム変換 ,  関数型言語 ,  構造化文書 ,  並列化 ,  構成的アルゴリズム論 ,  関数プログラミング ,  プログラム運算 ,  並列プログラミング ,  プログラミング言語 ,  Constructive Algorithmics ,  Functional Programming ,  Programming Languages
競争的資金等の研究課題 (22件):
  • 2010 - 2011 並列性忘却プログラミングに関する研究
  • 2007 - 2010 双方向変換機構とその応用に関する研究
  • 2003 - 2005 運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
  • 2002 - 2003 少数キーによるテキスト入力手法の開発と評価に関する研究
  • 1999 - 2001 構成的並列プログラミングモデルの設計及び実現に関する研究
全件表示
論文 (170件):
MISC (82件):
もっと見る
特許 (13件):
書籍 (21件):
  • Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software
    Department of Computer Science, University of Copenhagen 2011
  • 運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
    [武市正人] 2006
  • 連想計算の代数に基づく並列連想計算方式の研究 : 「情報学」特定領域A01新しいソフトウエアの実現
    胡振江 2006
  • ロボット新世紀
    東京大学綜合研究会 2006
  • 構成的並列プログラミングモデルの設計及び実現に関する研究
    武市正人 2002
もっと見る
講演・口頭発表等 (19件):
  • プログラム運算のためのCoqライブラリ
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • ガイド付き木オートマトンに基づく逆プログラムの自動生成
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • 内部参照をもつXML文書の双方向変換による編集
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • 3M-5 Bidirectional XML Transformation with Bi-X
    (全国大会講演論文集 2008)
  • 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
    (全国大会講演論文集 2008)
もっと見る
学歴 (4件):
  • 1987 - 工学博士(東京大学)
  • 1970 - 1972 東京大学 計数工学
  • 1968 - 1970 東京大学 計数工学
  • 1966 - 1968 東京大学 前期課程 理科I類
学位 (1件):
  • 工学博士 (東京大学)
経歴 (16件):
  • 2018/12 - 独立行政法人大学改革支援・学位授与機構
  • 2012/04 - 2018/03 (独)大学評価・学位授与機構 研究開発部 部長
  • 2011/04 - 2018/03 (独)大学評価・学位授与機構 研究開発部 教授
  • 2003/07 - 2014/09 日本学術会議 会員
  • 2011/10 - 2013/04 日本学術会議 副会長
全件表示
委員歴 (26件):
  • 2013/04 - 2015/03 文部科学省 研究振興局 科学技術・学術審議会臨時委員
  • 2013/04 - 2014/03 文部科学省 高等教育局 卓越した大学院拠点形成支援推進委員会委員
  • 2013/04 - 2014/02 日本学術振興会 評議員
  • 2013/04 - 2013/08 京都大学 数理解析研究所 運営委員会委員
  • 2000/05 - 2011/03 大学評価・学位授与機構 学位審査会専門委員
全件表示
受賞 (2件):
  • 1986 - 情報処理学会論文賞
  • 1972 - 日本経営情報開発協会研究奨励賞
所属学会 (5件):
日本応用数理学会 ,  米国計算機学会(Association for Computing Machinery) ,  情報処理学会 ,  日本ソフトウェア科学会 ,  高等教育質保証学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る