Rchr
J-GLOBAL ID:200901050076000676   Update date: Feb. 01, 2024

Takeichi Masato

タケイチ マサト | Takeichi Masato
Homepage URL  (1): http://takeichimasato.net
Research field  (2): Software ,  Information theory
Research keywords  (12): プログラミング言語 ,  プログラム運算 ,  並列プログラミング ,  プログラム変換 ,  関数型言語 ,  構造化文書 ,  並列化 ,  構成的アルゴリズム論 ,  関数プログラミング ,  Constructive Algorithmics ,  Functional Programming ,  Programming Languages
Research theme for competitive and other funds  (34):
  • 2015 - 2018 What is private enterprise approach to the university? ---definition and condition---
  • 2010 - 2011 Parallelism-Oblivious Parallel Programming
  • 2007 - 2010 Bidirectional Transformation Mechanisms and its Application
  • 2005 - 2008 A Constructive Approach to Structured Parallel Programming
  • 2004 - 2005 連想計算の代数に基づく並列連想計算方式の研究
Show all
Papers (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
more...
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
  • Program Parallelization by Candidate Generation and Conformity Testing. 2009. 2. 2. 132-143
  • 松崎公紀, 武市正人. マルチコアを活かすお手軽並列プログラミング 1)マルチコア計算機と基本的な並列化技法. 情報処理. 2008. 49. 12. 1363-1368
  • MATSUZAKI Kiminori, TAKEICHI Masato. 1. Introduction to Multicore Environments and Parallelization Techniques(<Special Feature>Easy Parallel Programming on Multi-Core Environments). IPSJ Magazine. 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
more...
Patents (13):
Books (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
more...
Lectures and oral presentations  (19):
  • プログラム運算のためのCoqライブラリ
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • ガイド付き木オートマトンに基づく逆プログラムの自動生成
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • 内部参照をもつXML文書の双方向変換による編集
    (日本ソフトウエア科学会大会講演論文集(CD-ROM) 2009)
  • 3M-5 Bidirectional XML Transformation with Bi-X
    (2008)
  • 3M-4 Development of Bidirectional XML Applications Using Dependency Description Schema
    (2008)
more...
Education (4):
  • 1987 - University of Tokyo Ph.D
  • 1970 - 1972 University of Tokyo Graduate School of Engineering Mathematical Engineering
  • 1968 - 1970 University of Tokyo Undergraduate School of Engineering Mathematical Engineering
  • 1966 - 1968 University of Tokyo School of Liberal Arts
Professional career (1):
  • Ph.D
Work history (16):
  • 2018/12 - National Institution for Academic Degrees and Quality Enhancement of Higher Education Emeritus Professor
  • 2012/04 - 2018/03 National Institution for Academic Degrees and University Evaluation Research Department Dean
  • 2011/04 - 2018/03 National Institution for Academic Degrees and University Evaluation Research Department Professor
  • 2003/07 - 2014/09 Science Council of Japan Council Member
  • 2011/10 - 2013/04 Science Council of Japan Vice-President
Show all
Committee career (26):
  • 2013/04 - 2015/03 文部科学省 研究振興局 科学技術・学術審議会臨時委員
  • 2013/04 - 2014/03 文部科学省 高等教育局 卓越した大学院拠点形成支援推進委員会委員
  • 2013/04 - 2014/02 日本学術振興会 評議員
  • 2013/04 - 2013/08 京都大学 数理解析研究所 運営委員会委員
  • 2000/05 - 2011/03 大学評価・学位授与機構 学位審査会専門委員
Show all
Awards (2):
  • 1986 - 情報処理学会論文賞
  • 1972 - 日本経営情報開発協会研究奨励賞
Association Membership(s) (5):
日本応用数理学会 ,  米国計算機学会(Association for Computing Machinery) ,  情報処理学会 ,  日本ソフトウェア科学会 ,  Japanese Association for Quality Assurance in Higher Education
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page