論文

• Salikh Zakirov, Shigeru Chiba, Etsuya Shibayama. How to Select Superinstructions for Ruby, IPSJ Transactions on Programming, vol. 3, no. 2, pp. 1-8, Mar. 2010.
• Kiyotaka Takahashi, Tetsuo Yamabe, Etsuya Shibayama. A study on modality adaptation support for migrating services, International Journal of Multimedia and Ubiquitous Engineering, Vol. 3, No. 2, pp. 35-47, Apr. 2008.
• 黒田滋樹, 柴山悦哉. Software Fault Injection を用いた開発時テスト支援環境, コンピュータソフトウェア, Vol. 23, No. 4, pp. 82-86, Oct. 2006.
• 古川陽, 柴山悦哉. ローカルポリシーによるアプリケーション機能制限機構, コンピュータソフトウェア, Vol. 22, No. 3, pp. 208-213, July 2005.
• Y. Kato, E. Shibayama, S. Takahashi. Effect Lines for Specifying Animation Effects, Proc. of The IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 27-34, 2004.
• T. Ijiri, T. Igarashi, E. Shibayama, S. Takahashi. Sketch Interface for 3D Modeling of Flowers, SIGGRAPH 2004 Sketches, 2004.
• 米澤航太, 高橋伸, 柴山悦哉. SilF:3Dアウトラインによる擬似3D表現を用いたスケッチツール, Visual Computing/グラフィックスとCAD合同シンポジウム2004, pp. 13-18, 2004.
• E. Shibayama, A. Yonezawa. Secure Software Infrastructure in the Internet Age, New Generation Computing, Vol. 21, No. 2, pp. 87-106, 2003.
• Yuichi Ando, Shin Takahashi, Etsuya Shibayama. A 3D Animation System with Superimposing CG on a Physical Armature, Proc. of the Asia Pacific Conference on Computer Human Interaction (APCHI) 2002, Vol. 2, pp. 845-856, 2002.
• Susuma Yamazaki, Etsuya Shibayama. Runtime Code Generation for Bytecode Specialization of Reflective Java Programs, ECOOP 2002 Workshop on Generative Programming, 2002.
• Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda. Static Visualization of Dynamic Data Flow Visual Program Execution, Proc. of International Conference on Information Visualization, IEEE Computer Society Press, pp. 713-718, 2002.
• E. Shibayama, M. Toyoda, J. Yabe, S. Takahashi. Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet, Lecture Notes in Computer Science, Springer-Verlag, Vol. 2281, pp. 661-671, 2002.
• Jun Yabe, Etsuya Shibayama, Shin Takahashi. Automatic Animation of Discussion in Usenet, Proc. of the Working Conf. on Advanced Visual Interfaces (AVI2000), ACM Press, pp. 84-91, 2000.
• Etsuya Shibayama, Masashi Toyoda, Buntarou Shizuki, Shin Takahashi. Design Issues of Visual Languages for Supporting Software Evolution, Proc. of International Symposium on Principles of Sotware Evolution, pp. 253-260, 2000.
• Masashi Toyoda, Etsuya Shibayama. A Zooming Browser for Hierarchically Clustered Documents, ACM CHI2000 Extended Abstracts, pp. 28-29, 2000.
• 佐藤周平, 柴山悦哉, 高橋伸. 指示棒の認識を用いたプレゼンテーションシステムの構築, コンピュータソフトウェア, Vol. 17, No. 3, pp. 77-81, 2000.
• Buntarou Shizuki, Masashi Toyoda, Etsuya Shibayama, Shin Takahashi. Smart Browsing among Multiple Aspects of Data-flow Visual Program Execution Using Visual Patterns and Multi-Focus Fisheye Views, Journal of Visual Languages and Computing, Vol. 11, No. 5, pp. 529-548, 2000.
• 林幸弘, 柴山悦哉. コンパイルタイムリフレクションによるOS拡張の記述, コンピュータソフトウェア, Vol. 16, No. 5, pp. 72-77, 1999.
• Masashi Toyoda, Etsuya Shibayama. Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks through a Multi-focus Distortion-Oriented View, Proceedings of ACM CHI'99 Conference on Human Factors in Computing Systems, pp. 504-511, 1999.
• 菅野元之, 高橋伸, 柴山悦哉. グラフエディタにおけるユーザの選択履歴に基づく予測を利用した選択インタフェース, 第7回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート, Vol. 23, pp. 175-180, 1999.
• 豊田正史, 増井俊之, 柴山悦哉. HishiMochi: 非線形ズーミングを用いた動的検索システム, 第6回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート, Vol. 21, pp. 143-152, 1998.
• ETSUYA SHIBAYAMA. Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique, Proceedings of Worldwide Computing and Its Applications, Proceedings of World-Wide Computing and Its Applications, Springer Lecture Notes in Computer Sciences, Vol. 1368, pp. 158-173, 1998.
• 柴山悦哉. Mochi Sheet:大規模なビジュアルプログラムの効率的編集哨支援するズーミングインターフェース, 情報処理学会論文誌, Vol. 39, No. 5, pp. 1395-1402, 1998.
• Etsuya Shibayama, Jun Yabe, Shin Takahashi, Mitsuru Matsuda. Visualizing Semantic Clusters in the Internet Information Space, Proceedings of Discovery Science'98, pp. 409-410, 1998.
• ETSUYA SHIBAYAMA. A Pattern-Oriented Parallel Visual Programming Environment, Proceedings of the 11th International Conference on Applications of Prolog, pp. 42-49, 1998.
• Buntarou Shizuki, Masashi Toyoda, Etsuya Shibayama, Shin. Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution, Proceedings of IEEE Symposium on Visual Languages, pp. 270-279, 1998.
• 古川陽, 大西雅之, 柴山悦哉. アプリケーション内メモリ管理の枠組みによる細粒度保護, 情報処理学会コンピュータシステムシンポジウム論文集, pp. 163-170, 1997.
• 柴山悦哉. Mochi Sheet: ズーミングとレイ アウト編集機能の統合, インタラクション'97論文集, 情報処理学会, pp. 79-86, 1997.
• 柴山悦哉. Hyper Mochi Sheet:複数フォーカスズーミングエディタにおけるナビゲーションのためのフォーカス予測手法, 第5回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート, Vol. 18, pp. 87-94, 1997.
• ETSUYA SHIBAYAMA. Visual Abstractions for Object-Based Parallel Computing, Proceedings of France-Japan Workshop on Object-Based Parallel and Distributed Computing, 1997.
• ETSUYA SHIBAYAMA. Supporting Design Patterns in a Visual Parallel Date-flow Programming Environment, Proceedings of IEEE Symposium on Visual Languages(VL'97), IEEE Computer Society, pp. 76-83, 1997.
• 柴山悦哉. ビジュアル並列プログラミング環境KLIEG:プロセスネットワークパターンを利用した再利用性の向上と実行表示の効率化, 第4回インタラクティブシステムとソフトウェアに関するワークショップ 近代科学社, pp. 81-90, 1996.
• ETSUYA SHIBAYAMA. Comprehensive Operating System for Highly Parallel Machine, Proc. of ISPAN '94, IEEE Computer Society Press, 1994.
• ETSUYA SHIBAYAMA. Semantic Layers of Object-Based Concurrent Computing, Object-Based Concurrent Computing, Springer Lecture Notes in Computer Science, Vol. 612, 1992.
• ETSUYA SHIBAYAMA. Reuse of Concurrent Object Descriptions, Proc. of 3rd Conf. on Technology of Object-Oriented Languages and Systems, pp. 254-266, 1990.
• ETSUYA SHIBAYAMA. Optimistic and Pessimistic Synchronization in Distributed Computing, Parallel Lisp : Languages and Systems, Springer Lecture Notes in Computer Science, Vol. 441, pp. 257-260, 1990.
• ETSUYA SHIBAYAMA. Transformation of Concurrent Object Systems, ACM Sigplan Notices, Vol. 24, No. 4, pp. 177-179, 1989.
• ETSUYA SHIBAYAMA. How to Invent Distributed Implementation Schemes of an Object-Based Concurrent Language-A Transformational Approach-, Proc. of 3rd ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications, pp. 297-305, 1988.
• ETSUYA SHIBAYAMA. Program Transformation in an Object-Based Parallel Computing Model, Proc. of France-Japan AI and Comp. Sci. Symp. '87, pp. 93-109, 1987.
• ETSUYA SHIBAYAMA. A Fast Parallel Merging Algorithm for 2-3 trees, RIMS Symposia on Software Science and Engineering II, Springer Lecture Notes in Computer Science, Vol. 220, pp. 1-16, 1986.
• 柴山悦哉. オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1, コンピュータソフトウェア, Vol. 3, No. 3, pp. 9-23, 1986.
• ETSUYA SHIBAYAMA. PRESET-A Debugging Environment for Prolog, Logic Programming '85, Springer Lecture Notes in Computer Science, Vol. 221, pp. 90-99, 1986.
• ETSUYA SHIBAYAMA. Object-Oriented Concurrent Programming in ABCL/1, Proc. of 1st ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications, pp. 258-268, 1986.

著書

• Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Etsuya Shibayama, Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa. Concurrent Objects and Beyond, Lecture notes in computer science, LNCS, Springer-Verlag, Vol. 8665, Sept. 2014.
• Etsuya Shibayama, Masashi Toyoda, Buntarou Shizuki, Shin Takahashi. Visual Abstractions for Object-Based Parallel Computing, Object-Based Parallel and Distributed Programming, Hermes Science Publications, Object-Based Parallel and Distributed Programming, Hermes Science Publications, pp. 113-132, 2000.
• ETSUYA SHIBAYAMA. The Massively Parallel Processing System JUMP-1, Ohmsha Ltd., Ohmsha Ltd., 1996.
• 柴山悦哉. モデルと表現, 岩波書店, 岩波書店, 1992.
• ETSUYA SHIBAYAMA. Distributed Discrete Event Simulation in ABCL/1, ABCL : An Object-Oriented Concurrent System-Theory, Language, Programming, Implementation, and Application, ABCL : An Object-Oriented Concurrent System-Theory, Language, Programming, Implementation, and Application, pp. 157-181, 1990.
• ETSUYA SHIBAYAMA. Distributed Computing in ABCL/1, Object-Oriented Concurrent Programming, Object-Oriented Concurrent Programming, pp. 91-128, 1987.
• ETSUYA SHIBAYAMA. Modeling and Programming in an Object-Oriented Concurrent Language ABCL/1, Object-Oriented Concurrent Programming, Object-Oriented Concurrent Programming, pp. 55-90, 1987.

国際会議発表 (査読有り)

• Salikh S. Zakirov, Shigeru Chiba, Etsuya Shibayama. Optimizing Dynamic Dispatch with Fine-Grained State Tracking, Dynamic Language Symposium, Proc. of Dynamic Language Symposium, pp. 15-26, Oct. 2010.
• Cyrille Artho, Boris Zweimller, Armin Biere, Etsuya Shibayama, Shinichi Honiden. Efficient model checking of applications with input/output, 11th International Conference on Computer Aided Systems Theory, Lecture Notes in Computer Science, Vol. 4739, pp. 515-522, Nov. 2007.
• Cyrille Artho, Etsuya Shibayama, Shinichi Honiden. Iterative delta debugging, IFIP International Conf. on Testing of Communicating Systems, Proc. of IFIP International Conf. on Testing of Communicating Systems, June 2007.
• ETSUYA SHIBAYAMA, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail System, Lecture Notes in Computer Science (Software Security: Theories and Systems), Vol. 2609, pp. 201-216, 2003.

国際会議発表 (査読なし・不明)

• Cyrille Artho, Etsuya Shibayama, Yoshinori Tanabe, Masami Hagiya, Watcharin Leungwattanakit. Hiding backtracking operations in software model checking from the environment, Proc. of DIKU-IST Workshop, Oct. 2007.
• Cyrille Artho, Yoshinori Tanabe, Etsuya Shibayama, Watcharin Leungwattanakit, Masami Hagiya. Architecture-aware partial-order reduction to accelerate model checking of networked programs, Proc. of DIKU-IST Workshop, Oct. 2007.
• Y. Mihara, E. Shibayama, S. Takahashi. The Migratory Cursor: Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations, Proc. of ACM ASSETS 2005, pp. 76-83, Oct. 2005.
• S. Takahashi, Y. Kato, E. Shibayama. A New Static Depiction and Input Technique for 2D Animations, Proc. of The IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 296-298, Sept. 2005.
• Y. Mihara, Y. Sugimoto, E. Shibayama, S. Takahashi. An Interactive Braille-Recognition System for The Visually Impaired Based on A Portable Camera, ACM CHI'05 Extended Abstracts on Human Factors in Computing Systems, pp. 1653-1656, 2005.
• Yoshiyuki Mihara, Shin Takahashi, Etsuya Shibayama. WATARIDORI: Multiple Ghost Cursors for Speech-Based Cursor Movement, ACM UIST Companion, pp. 19-20, Oct. 2004.
• S. Sato, E. Shibayama, S. Takahashi. An Interface for Input of Object Regions Using the Hand Chroma Key, Computer Human Interaction, Lecture Notes in Computer Science, Springer-Verlag, Vol. 3101, pp. 389-398, 2004.

国内会議発表 (査読なし・不明)

• 美原義行, 田中利治, 柴山悦哉, 佐藤周平. マルチディスプレイ環境のためのハイブリッド型カーソル移動方式, インタラクション 2006, 情報処理学会, pp. 65-66, Mar. 2006.

その他の論文・著書など

• 柴山悦哉, 鳥澤健太郎. 情報爆発時代の研究動向, 情報処理, Vol. 49, No. 8, pp. 11-, Aug. 2008.

学位論文

• An Object-Based Approach to Modeling Concurrent Systems,  本文,  Doctor of Science,  東京大学理学研究科,  1991/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]