| 詳細情報 |   |
|---|---|
| 関連リンク |  |
| 探す |  |
論文 (184件)
- 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
- 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
- Dongxi Liu, Zhenjiang Hu, Masato Takeichi. An Expressive Bidirectional Transformation Language for XQuery View Update. Progress in Informatics. 2013. 10. 10. 89-129
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. Manipulating accumulative functions by swapping call-time and return-time computations. JOURNAL OF FUNCTIONAL PROGRAMMING. 2012. 22. 3. 275-299
- 森畑明昌, 松崎公紀, 武市正人. 領域限定言語に基づく最適経路問合せ. 情報処理学会論文誌トランザクション(CD-ROM). 2011. 2010. 2. ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,116-133
- Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi. Program Calculation in Coq. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY. 2011. 6486. 163-+
- 江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人. 最適値の並列探索のための Improving Value の Fortress 実装. 第12回プログラミングおよびプログラミング言語ワークショップ, 琴参閣, 香川県, 2010年3月3日(水)~5日(金). 2010
- Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi. Generators-of-Generators Library with Optimization Capabilities in Fortress. EURO-PAR 2010 - PARALLEL PROCESSING, PART II. 2010. 6272. 26-+
- Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. A Grammar-Based Approach to Invertible Programs. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS. 2010. 6012. 448-+
- 橋本 英樹, 胡 振江, Julien Tesson, Frederic Loulergue, 武市 正人. プログラム運算のためのCoqライブラリ. 日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金). 2009
- 木津 幸子, 武市 正人, 胡 振江. 内部参照をもつXML文書の双方向変換による編集. 日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金). 2009
- 松田 一孝, 穆 信成, 胡 振江, 武市 正人. ガイド付き木オートマトンに基づく逆プログラムの自動生成. 日本ソフトウェア科学会第26回大会 , 島根大学(松江キャンパス), 2009年9月16日(水)~18日(金). 2009
- Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Beanbag:A Language for Automatic Model Inconsistency Fixing. In Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009 (SES'09), Poster Paper, pp 189, September 2009. 2009
- 森畑明昌, 松崎公紀, HU Zhenjiang, 武市正人. 並列プログラムの候補生成と適合性検査による並列化. 情報処理学会論文誌トランザクション(CD-ROM). 2009. 2008. 2. VOL.2NO.2,132-143
- 松田 一孝, 胡 振江, 中野 圭介, 浜名 誠, 武市 正人. 補関数の生成による複製機能付きプログラムの自動双方向化. コンピュータソフトウェア. 2009. 26. 2. 56-75
前のページに戻る
