松岡聡の論文リスト

1.学位論文

1. Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages
   東京大学大学院, 平成5年7月

2.査読論文

1. Using Tuple Space Communication in Distributed Object-Oriented Languages (Matsuoka, Kawai)
   Proceedings of Object-Oriented Programming Systems, Languages and Applications (ACM OOPSLA'88)}, pp.276-284, 1988.

2. Asympototic Evaluation of Window Visibility (Matsuoka, Kamada, Kawai).
   Information Processing Letters}, 31(3):119-126, May 1989.

3. Visualization of Abstract Concepts Using Generalized Path Binding (Nakayama, Matsuoka, Kawai)
   Proceedings of the CG International'90}, pp.377-401, Springer-Verlag, 1990.

4. An Object-Oriented Concurrent Reflective Architecture for Distributed Computing Environments (Ichisugi, Matsuoka, Watanabe, Yonezawa)
   Proceedings of 29th Annual Allerton Conference on Communication}, Control and Computing, Allerton Illinois, 1991.

5. A Fast Parallel Conservative Garbage Collector for Concurrent Object-Oriented Systems (Matsuoka, Furuso, Yonezawa)
   Proceedings of IEEE International Workshop on Object Orientation in Operating Systems (I-WOOOS'91)}, Palo Alto, Oct, 1991, pp.87-93.

6. Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming (Matsuoka, Watanabe, Yonezawa)
   Proceedings of the European Conference on Object-Oriented Programming (ECOOP'91)}, Springer Lecture Notes in Computer Science, Vol.512, 1991, pp.231-250.

7. Object-Oriented Concurrent Reflective Architectures (Matsuoka, Watanabe, Ichisugi, Yonezawa)
   Proceedings of ECOOP Workshop on Object-Based Concurrent Programming}, Geneve, Switzerland, July, 1991, Springer Lecture Notes in Computer Science, Vol.612, pp.211-226, 1992.

8. A General Framwork for Bi-Directional Translation between Abstract and Pictorial Data (Takahashi, Matsuoka, Yonezawa, Kamada)
   Proceedings of the ACM User Interface Software and Technology'91 (UIST'91)}, South Carolina, Nov. 11-13, 1991, pp.165-174.

9. Control in Parallel Constraint Logic Programming (Kobayashi, Matsuoka, Yonezawa)
   Proceeding of Logic Programming Conference '91}, Springer Lecture Notes in Artificial Intelligence, 1992.

10. ABCL/onEM-4: A New Software/Hardware Architecture for Object-Oriented Concurrent Computing on an Extended Dataflow Supercomputer (Yasugi, Matsuoka, Yonezawa)
    Proceedings of ACM Int. Conf. on Supercomputing}, Washington D.C., July 19-23, 1992.

11. Creating Visual Objects by Direct Manipulation (Tonouchi, Nakayama, Matsuoka, Kawai)
    Proceedings of IEEE International Workshop on Visual Languages}, Seattle, Washington, Sept. 1992.

12. Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently (Masuhara, Matsuoka, Watanabe, Yonezawa）
    Proceedings of ACM OOPSLA'92}, Vancouver, Canada, Oct. 1992.

13. RbCl: A Reflective Concurrent Language without a Run-Time Kernel (Ichisugi, Matsuoka, Yonezawa)
    Proceedings of IMSA'92 International Workshop on Reflection and Metalevel Architectures}, Tokyo, Japan, Nov. 4-7, 1992.

14. Declarative Programming of Graphical Interfaces by Visual Examples (Miyashita, Matsuoka, Takahashi, Yonezawa, Kamada)
    Proceedings of ACM User Interface Software and Technology'92 (UIST'92)}, Monterey, CA, Nov. pp. 15-18, 1992.

15. A General Framwork for Bi-Directional Translation between Abstract and Pictorial Data (Matsuoka, Takahashi, Kamada, Yonezawa).
    ACM Transactions on Information Systems}, Vol. 10, No. 4, Oct. 1992, pp. 408-437.

16. Model Checking of Control-Finite CSP Programs (Asai, Matsuoka, Yonezawa)
    Proceedings of 26th Hawaii International Conference on System Sciences}, Jan. 1993.

17. An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers (Taura, Matsuoka, Yonezawa)
    Proceedings of 4th ACM Symposium on Principles and Practices of Parallel Programming (PPoPP'93)}, San Diego, CA, May 20-22, 1993.

18. Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages (Matsuoka, Taura, Yonezawa)
    Proceedings of ACM OOPSLA'93}, Washington D.C., Sep. 1993.

19. An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers (Taura, Matsuoka, Yonezawa)
    in Robert H. Halstead, Jr., and Takayasu Ito (Eds.) Parallel Symbolic Computing: Languages, Systems, and Applications (US/Japan Workshop Proceedings)}, Springer-Verlag Lecture Notes in Computer Science 748, Nov. 1993.

20. Efficient Implementation of Concurrent Object-Oriented Languages on Multicomputers (Yonezawa, Matsuoka, Yasugi, Taura).
    IEEE Parallel and Distributed Technology}, Vol. 1, No. 2, 1993.

21. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages (Matsuoka, Yonezawa).
    In G. Agha et. al. eds. Research Directions in Concurrent Object-Oriented Programming}, The MIT Press, 1993.

22. Locally Simultaneous Constraint Satisfaction (Hosobe, Miyashita, Takahashi, Matsuoka, Yonezawa)
    Proceedings of the Second Workshop on Principles and Practices of Constraint Programming}, Orcas Island, Washington, Springer LNCS 874, pp.51--62, May 1994.

23. The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Exection (Yasugi, Matsuoka, Yonezawa)
    Proceedings of {IFIP WG10.3} Intl. Conf. onParallel Architectures and Compiler Technology (PACT) '94}, Montreal, Canada, pp.57--66, Aug. 1994.

24. Efficient Parallel Global Garbage Collection on Massively Parallel Computers (Kamada, Matsuoka, Yonezawa)
    Proceedings of IEEE/ACM Supercomputing}, Washington D.C., pp.79-88, Nov. 1994.

25. A Framework for Constructing Animations via Declarative Mapping Rules (Takahashi, Miyashita, Matsuoka, Yonezawa)
    Proceedings of IEEE Symposium on Visual Languages}, St. Louis, pp.314-322, 1994.

26. {PARCS}: An MPP-Oriented CLP Language (Konno, Nagatsuka, Kobayashi, Matsuoka, Yonezawa)
    Proceedings of International Symposium on Parallel Symbolic Computation (PASCO'94)} World Scientific, pp.254-263, 1994.

27. {ABCL}/{\it f}: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language -- Its Design and Implementation -- (Taura, Matsuoka, Yonezawa)
    Proceedings of {DIMACS} Workshop on Specification of Parallel Algorithms}, American Math. Society, pp.275-292, 1994.

28. Interactive Generation of Graphical User Interfaces by Multiple Visual Examples (Miyashita, Matsuoka, Takahashi, Yonezawa)
    Proceedings of ACM Symposium on User Interface Software and Technology (UIST'94)}, Los Angeles, pp.85-94.

29. The Design and Implementation of an Object-Oriented Concurrent Reflective Language {ABCL/R2} (増原, 松岡, 米澤).
    コンピュータソフトウェア}, 11(3), 1994, pp. 15--32.

30. The Implementation of a Reflective Object-Oriented Concurrent Language with out a Run-time Kernel (一杉, 松岡, 米澤)
    コンピュータソフトウェア}, 11(3), 1994, pp. 65--77.

31. Interactive Generation of Graphical User Interfaces by Multiple Visual Examples (宮下, 松岡, 高橋, 米澤)
    コンピュータソフトウェア}, 11(6), 1994, pp. 41--51.

32. Constructing Algorithm Animations via Declarative Specifications (高橋, 松岡, 宮下, 米澤)
    コンピュータソフトウェア}, 11(6), 1994, pp. 83--94.

33. Adaptive Recognition of Implicit Structures in Human- Organized Layouts (Igarashi, Matsuoka, Masui)
    Proceedings of IEEE Symposium on Visual Languages}, Darmstat, Germany, pp. 258--266, 1995.

34. Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation (Masuhara, Matsuoka, Yonezawa)
    Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95)}，SIGPLAN Notices, Vol.30, No. 10, pp.300-315, 1995.

35. Hierarchical Collections: An Efficient Scheme to Build an Object-Oriented Distributed Class Library for Massively Parallel Computation (Sato, Matsuoka, Yonezawa)
    Proceedings of International Symposium on Object Technologies for Advanced Software (ISOTAS'96)}, Kanazawa, Japan, Springer LNCS 1049, pp.96-117, 1996.

36. Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language (Masuhara, Matsuoka, Yonezawa)
    Proceedings of Reflection'96}, San Francisco, 1996.

37. - Ninf -: Network based Information Library for Globally High Performance Computing, (Sekiguchi, Sato, Nakada, Matsuoka, Nagashima)
    Proc. Parallel Object-Oriented Methods and Applications, Santa Fe, pp. 39-48, 1996.

38. Ninf : World-Wide Computing指向のネットワーク数値情報ライブラリ (佐藤, 中田, 関口, 松岡, 長嶋, 高木)
    インターネットコンファレンス'96, 1996, pp. 73-80.

39. OMPI: Optimizing MPI programs using Partial Evaluation (Hirotaka Ogawa and Satoshi Matsuoka)
    Proc. IEEE/ACM Supercomputing'96, Pittsburgh, PA, IEEE Society Press, 1996 {\em (proceedings in CD-ROM)}.

40. Penumbrae for 3-D Interation (Ayatsuka, Matsuoka, Rekimoto)
    Proceedings of ACM Symposium on User Interface Software and Technology (UIST'96), Seattle, Washington, ACM Press, 1996.

41. Generalized Local Propagation: A Framework for Solving Constraint Hierarchies (Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa)
    Proceedings of Symposium on Principles and Practice of Constraint Programming (CP'96), Springer LNCS 1118, pp. 237-251, 1996.

42. Duplication and Partial Evaluation --- For a Better Understanding of Reflective Languages --- (Asai, Matsuoka, Yonezawa)
    Journal of Lisp and Symbolic Computation, 1996.

43. 並列自己反映言語システムの部分計算によるコンパイル技法 (増原, 松岡, 米澤)
    情報処理学会論文誌 (1996年度論文賞受賞), vol 37, no. 7, pp.1290--1298, 1996.

44. Compiling Concurrent Objects for {MPPs} (Matsuoka, Yasugi,Taura, Kamada, Yonezawa)
    {In Parallel Language and Compiler Research in Japan}, Bic, Nicolau and Sato (eds.), Kluwer Academic Press, pp.91--125, 1996.

45. Ninf: A Network based Information Library for a Global World-Wide Computing Infrastracture (Sato, Nakada, Sekiguchi, Matsuoka Nagashima, Takagi)
    Proc. of HPCN'97 (LNCS-1225), Vienna, Austria, pp. 491-502, 1997.

46. A Methodology for Specifying Data Distribution using only Standard Object-Oriented Features (Sato, Matsuoka, Jezequel, Yonezawa)
    Proceedings of ACM/IEEE International Conference on Supercomputing (ICS'97), Vienna, Austria, pp. 116-123, 1997.

47. In Search for an Ideal Computer-Assisted Drawing System (Takeo Igarashi, Sachiko Kawachiya, Satoshi Matsuoka, Hidehiko Tanaka)
    Proceedings of IFIP Interact'97, Sydney, Austria, 1997

48. Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment (Masashi Toyoda, Buntarou Shizuki, Shin Takahashi, Satoshi Matsuoka, Etsuya Shibayama)
    Proceedings of IEEE Symposium on Visual Languages (VL'97) Sept. 23-26, 1997, Capri, Italy, IEEE Society Press, 1997

49. Interactive Beautification: A Technique for Rapid Geometric Design (Takeo Igarashi, Satoshi Matsuoka, Sachiko Kawachiya, Hidehiko Tanaka)
    Proceedings of ACM Symposium on User Interface Software and Technology (UIST'97), Banff, Canada, 1997

50. Multi-client LAN/WAN Analysis of Ninf: a High-Performance Global Computing System (Atsuko Takefusa, Satoshi Matsuoka, Hirotaka Ogawa, Hidemoto Nakada, Hiromitsu Takagi, Mitsuhisa Sato, Satoshi Sekiguchi, Umpei Nagashima)
    Proceedings of IEEE Supercomputing '97, San Jose, CA, 1997

51. Towards a Parallel C++ Programming Language based on Commodity Object-Oriented Technologies (S. Matsuoka, A. Nikami, H. Ogawa, Y. Ishikawa)
    Proceedings of International Scientific Computing in Object-Oriented Parallel Environments Conference (ISCOPE'97), Marina del Rey, California, 1997

52. Towards a Parallel C++ Programming Language based on Commodity Object-Oriented Technologies (S. Matsuoka, A. Nikami, H. Ogawa, Y. Ishikawa)
    Proceedings of International Scientific Computing in Object-Oriented Parallel Environments Conference (ISCOPE'97), Marina del Rey, California, 1997

53. {ABCL/EM-4:データ駆動並列計算機上の並列オブジェクト指向言語処理系の実装と評価} {八杉 昌宏, 松岡 聡, 米澤 明憲, 情報処理学会論文誌 1997,

54. スレッドベース実行における積極的データ転送のための Plan-Do型コンパイル技法とその評価 (八杉 昌宏, 松岡 聡, 米澤 明憲),
    情報処理学会論文誌 1997.

研究会、大会