研究者
J-GLOBAL ID：200901050076000676
更新日: 2025年03月06日 武市 正人
タケイチ マサト | Takeichi Masato
研究キーワード (12件)：
プログラミング言語
, プログラム運算
, 並列プログラミング
, プログラム変換
, 関数型言語
, 構造化文書
, 並列化
, 構成的アルゴリズム論
, 関数プログラミング
, Constructive Algorithmics
, Functional Programming
, Programming Languages
競争的資金等の研究課題 (34件)： - 2015 - 2018 大学への民間的発想・手法導入の有効性の検証と自律的活用のための指針の開発
- 2010 - 2011 並列性忘却プログラミングに関する研究
- 2007 - 2010 双方向変換機構とその応用に関する研究
- 2005 - 2008 構成的手法による構造化並列プログラミングとその支援環境
- 2004 - 2005 連想計算の代数に基づく並列連想計算方式の研究
全件表示
- Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masato Takeichi, Chuan Xiao. Bidirectional Collaborative Data Management. Bidirectional Collaborative Data Management. 2024. 63-91
- Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masato Takeichi, Chuan Xiao. Bidirectional Collaborative Data Management. Bidirectional Collaborative Data Management. 2024. 63-91
- 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
- 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
- ゲートウェイ装置、送信方法、受信方法および情報記録媒体
- 情報処理システム、蓄積装置、処理装置、ならびに、情報処理方法
- 通信システム、ゲートウェイ送信装置、ゲートウェイ受信装置、送信方法、受信方法および情報記録媒体
- 情報処理システム、蓄積装置、処理装置、蓄積方法、処理方法、ならびに、プログラム
- ゲートウェイ装置、送信方法、受信方法および情報記録媒体
- 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
-
プログラム運算のための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)
- 1987 - 工学博士(東京大学)
- 1970 - 1972 東京大学 工学系研究科修士課程 計数工学
- 1968 - 1970 東京大学 工学部 計数工学
- 1966 - 1968 東京大学 教養学部 前期課程 理科I類
- 工学博士 (東京大学)
- 2018/12 - 独立行政法人大学改革支援・学位授与機構 名誉教授
- 2012/04 - 2018/03 (独)大学評価・学位授与機構 研究開発部 部長
- 2011/04 - 2018/03 (独)大学評価・学位授与機構 研究開発部 教授
- 2003/07 - 2014/09 日本学術会議 会員
- 2011/10 - 2013/04 日本学術会議 副会長
全件表示
- 2013/04 - 2015/03 文部科学省 研究振興局 科学技術・学術審議会臨時委員
- 2013/04 - 2014/03 文部科学省 高等教育局 卓越した大学院拠点形成支援推進委員会委員
- 2013/04 - 2014/02 日本学術振興会 評議員
- 2013/04 - 2013/08 京都大学 数理解析研究所 運営委員会委員
- 2000/05 - 2011/03 大学評価・学位授与機構 学位審査会専門委員
全件表示
- 1986 - 情報処理学会論文賞
- 1972 - 日本経営情報開発協会研究奨励賞
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
