研究者
J-GLOBAL ID：200901050076000676   更新日: 2024年02月01日

武市 正人

タケイチ マサト | Takeichi Masato
ホームページURL (1件)： http://takeichimasato.net
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (12件)： プログラミング言語 ,  プログラム運算 ,  並列プログラミング ,  プログラム変換 ,  関数型言語 ,  構造化文書 ,  並列化 ,  構成的アルゴリズム論 ,  関数プログラミング ,  Constructive Algorithmics ,  Functional Programming ,  Programming Languages
競争的資金等の研究課題 (34件)：
  • 2015 - 2018 大学への民間的発想・手法導入の有効性の検証と自律的活用のための指針の開発
  • 2010 - 2011 並列性忘却プログラミングに関する研究
  • 2007 - 2010 双方向変換機構とその応用に関する研究
  • 2005 - 2008 構成的手法による構造化並列プログラミングとその支援環境
  • 2004 - 2005 連想計算の代数に基づく並列連想計算方式の研究
全件表示
論文 (178件)：
  • Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. Bidirectional Collaborative Frameworks for Decentralized Data Management. Communications in Computer and Information Science. 2022. 13-51
  • Masato Takeichi. BCDS Agent: An Architecture for Bidirectional Collaborative Data Sharing. Computer Software. 2021. 38. 3. 41-57
  • Makoto onizuka, Yasunori Ishihara, Masato Takeichi. Towards Smart Data Sharing by Updatable Views. Workshop on Software Foundations for Data Interoperability (SFDI). 2020. 165-171
  • Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa. Data Integration Models and Architectures for Service Alliances. Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop(SFDI/LSGDA@VLDB). 2020. 152-164
  • Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Synchronizing concurrent model updates based on bidirectional transformation. Software and Systems Modeling. 2013. 12. 1. 89-104
もっと見る
MISC (102件)：
  • Robert Glueck, Fritz Heiglein, Zhenjiang Hu, Masato Takeichi. Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software. Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011. 2011
  • 森畑 明昌, 松崎 公紀, 胡 振江, 武市 正人. 並列プログラムの候補生成と適合性検査による並列化. 情報処理学会論文誌プログラミング(PRO). 2009. 2. 2. 132-143
  • 松崎公紀, 武市正人. マルチコアを活かすお手軽並列プログラミング 1)マルチコア計算機と基本的な並列化技法. 情報処理. 2008. 49. 12. 1363-1368
  • 松崎 公紀, 武市 正人. 1.マルチコア計算機と基本的な並列化技法(<特集>マルチコアを活かすお手軽並列プログラミング). 情報処理. 2008. 49. 12. 1363-1368
  • Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui, Hong Mei. Beanbag: Operation-based Synchronization with Intra-relations. Technical Report GRACE-TR-2008-04. 2008
もっと見る
特許 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM