発表文献リスト

English Version
DBLP
論文
  1. Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
    Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
    Proc. ACM SIGPLAN Haskell Symposium 2024 (Haskell 2024), ACM Press, pp.83-96, 2024.
    DOI: 10.1145/3677999.3678281

  2. 冨井陸矢, 岩崎英哉
    メタヒューリスティクスの適用を効率的に記述するドメイン特化言語
    コンピュータソフトウェア, Vol.41, No.2, pp.80-95, 2024.
    DOI: 10.11309/jssst.41.2_80

  3. Takato Otsuka, Hideya Iwasaki
    Haskell Library for Safer Virtual Machine Introspection (Experience Report)
    Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023), ACM Press, pp.89-96, 2023.
    DOI: 10.1145/3609026.3609732

  4. Takumi Miyajima, Hideya Iwasaki, Yasushi Kuno
    The TABLET Programming Learning Environment: from Block-based to Text-based Programming
    Journal of Information Processing, Vol.30, pp.729-741, 2022.
    DOI: 10.2197/ipsjjip.30.729

  5. Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa
    Generating Virtual Machine Code of JavaScript Engine for Embedded Systems
    Journal of Information Processing, Vol.30, pp.679-693, 2022.
    DOI: 10.2197/ipsjjip.30.679

  6. Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
    Replication-based Object Persistence by Reachability
    Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022), ACM Press, pp.43-56, 2022.
    DOI: 10.1145/3520263.3534653

  7. Hideya Iwasaki Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
    Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
    Journal of Functional Programming, Vol.32, e4, pp.1-69, 2022.
    DOI: 10.1017/S0956796821000277

  8. 小野澤拓, 岩崎英哉, 鵜川始陽
    アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系
    コンピュータソフトウェア, Vol.38, No.3, pp.23-40, 2021.
    DOI: 10.11309/jssst.38.3_23

  9. Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki
    Fusuma: Double-Ended Threaded Compaction
    Proc. 2021 ACM SIGPLAN International Symposium on Memory Management (ISMM 2021), ACM Press, pp.94-106, 2021.
    DOI: 10.1145/3459898.3463903

  10. Haruto Tanno, Yu Adachi, Yu Yoshimura, Katsuyuki Natsukawa, Hideya Iwasaki
    Region-based Detection of Essential Differences in Image-based Visual Regression Testing
    Journal of Information Processing, Vol.28, pp.268-278, 2020.
    DOI: 10.2197/ipsjjip.28.268

  11. 加藤直斗, 岩崎英哉
    Fregel コンパイラにおける不要な値送受信の削減
    コンピュータソフトウェア, Vol.36, No.2, pp.28-46, 2019.
    DOI: 10.11309/jssst.36.2_28

  12. Wataru Aoyama, Hideya Iwasaki
    dajFS: A New File System with Per-Directory Adaptive Journaling
    Journal of Information Processing, Vol.27, pp.369-377, 2019.
    DOI: 10.2197/ipsjjip.27.369

  13. Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
    eJSTK: Building JavaScript Virtual Machines with Customized Datatypes for Embedded Systems
    Journal of Computer Languages , Vol.51, pp.261-279, 2019.
    DOI: 10.1016/j.cola.2019.01.003

  14. Haruto Tanno, Hideya Iwasaki
    Suspend-less Debugging for Interactive and/or Realtime Programs
    Proc. 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019), IEEE Computer Society, pp.194-205, 2019.
    DOI: 10.1109/ICST.2019.00028

  15. Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
    Optimizing Declarative Parallel Distributed Graph Processing by using Constraint Solvers
    Proc. 14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818, Springer, pp.166-181, 2018.
    DOI: 10.1007/978-3-319-90686-7_11

  16. Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
    A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations
    Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018), ACM Press, pp.1238-1247, 2018.
    DOI: 10.1145/3167132.3167266

  17. Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
    A Debugger-Cooperative Higher-Order Contract System in Python
    Proc. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), Lecture Notes in Computer Science 10017, Springer, pp.148-168, 2016.
    DOI: 10.1007/978-3-319-47958-3_9

  18. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-centric Big Graph Processing
    Proc. 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), ACM Press, pp.200-213, 2016.
    DOI: 10.1145/2951913.2951938

  19. Akira Tanimura, Hideya Iwasaki
    Integrating Lua into C for Embedding Lua Interpreters in a C Application
    Proc. 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016), ACM Press, pp.1936-1943, 2016.
    DOI: 10.1145/2851613.2851747

  20. Hideyuki Kawabata, Hideya Iwasaki
    Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
    Proc. 25th European Symposium on Programming (ESOP 2016), Lecture Notes in Computer Science 9632, Springer, pp.390-418, 2016.
    DOI: 10.1007/978-3-662-49498-1_16

  21. Tetsu Kobayashi, Shigeyuki Sato, Hideya Iwasaki
    Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation
    Proc. 44th International Conference on Parallel Processing (ICPP 2015), IEEE Computer Society, pp.600-609, 2015.
    DOI: 10.1109/ICPP.2015.69

  22. Yasunao Takano, Hideya Iwasaki
    Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
    Proc. 30th ACM/SIGAPP Symposium on Applied Computing (SAC 2015), ACM Press, pp.2079-2086, 2015.
    DOI: 10.1145/2695664.2695693

  23. 高野保真, 岩崎英哉, 佐藤重幸
    Glasgow Haskell Compiler 上の遅延オブジェクト再利用手法の設計と実装
    コンピュータソフトウェア, Vol.32, No.1, pp.253-287, 2015.
    DOI: 10.11309/jssst.32.1_253

  24. Masato Shioda, Hideya Iwasaki, Shigeyuki Sato
    LibDSL: A Library for Developing Embedded Domain Specific Languages in D via Template Metaprogramming
    Proc. 13th International Conference on Generative Programming: Concepts and Experiences (GPCE 2014), ACM Press, pp.63-72, 2014.
    DOI: 10.1145/2658761.2658770

  25. Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
    XQuery Streaming by Forest Transducers
    Proc. 30th IEEE International Conference on Data Engineering (ICDE 2014), IEEE Computer Society, pp.952-963, 2014.
    DOI: 10.1109/ICDE.2014.6816714

  26. Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
    Adaptive Scanning Reduces Sweep Time for the Lisp2 Mark-Compact Garbage Collector
    Proc. 2013 International Symposium on Memory Management (ISMM 2013), ACM Press, pp.15-26, 2013.
    DOI: 10.1145/2491894.2466480

  27. Hideya Iwasaki, Takeshi Morimoto, Yasunao Takano
    Pruning with Improving Sequences in Lazy Functional Programs
    Higher-Order and Symbolic Computation, Vol.24, No.4, pp.281-309.
    DOI: 10.1007/s10990-012-9086-3

  28. 高野保真, 岩崎英哉, 鵜川始陽
    Glasgow Haskell Compiler における再帰的データ構造のための遅延オブジェクトの再利用
    情報処理学会論文誌　プログラミング, Vol.5, No.2, pp.67-78, 2012.

  29. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection
    情報処理学会論文誌　プログラミング, Vol.5, No.1, pp.1-8, 2012.

  30. Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa
    SAW: Java Synchronization Selection from Lock or Software Transactional Memory
    Proc. 17th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2011), IEEE Computer Society, pp.104-111, 2011.
    DOI: 10.1109/ICPADS.2011.112

  31. Shigeyuki Sato, Hideya Iwasaki
    Automatic Parallelization via Matrix Multiplication
    Proc. 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), ACM Press, pp.470-479, 2011.
    DOI: 10.1145/1993498.1993554

  32. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Starvation-free Heap Size for Replication-Based Incremental Compacting Garbage Collection
    Proc. International Lisp Conference (ILC 2010), ACM Press, pp.43-52, 2010.
    DOI: 10.1145/1869643.1869649

  33. 折戸隆洋, 岩崎英哉
    ブラウザで動作するウェブアプリケーションのソースコード隠蔽機構
    情報処理学会論文誌　プログラミング, Vol.3, No.4, pp.16-26, 2010.

  34. 稲津和磨, 岩崎英哉
    サーバ/クライアント自動分割を備えた Web フレームワークの設計と実装
    情報処理学会論文誌　プログラミング, Vol.3, No.4, pp.1-15, 2010.

  35. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Improved Replication-Based Incremental Garbage Collection for Embedded Systems
    Proc. 2010 International Symposium on Memory Management (ISMM 2010), ACM Press, pp.73-82, 2010.
    DOI: 10.1145/1806651.1806664

  36. Shigeyuki Sato, Hideya Iwasaki
    A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
    Proc. 7th Asian Symposium on Programming Languages and Systems (APLAS 2009), Lecture Notes in Computer Science 5904, Springer, pp.79-94, 2009.
    DOI: 10.1007/978-3-642-10672-9_8

  37. Yuki Karasawa, Hideya Iwasaki
    A Parallel Skeleton Library for Multi-core Clusters
    Proc. 38th International Conference on Parallel Processing (ICPP 2009), IEEE Computer Society, pp.84-91, 2009.
    DOI: 10.1109/ICPP.2009.18

  38. Haruto Tanno, Hideya Iwasaki
    Parallel Skeletons for Variable-length Lists in SkeTo Skeleton Library
    Proc. 15th International Euro-Par Conference (Euro-Par 2009), Lecture Notes in Computer Science 5704, Springer, pp.666-677, 2009.
    DOI: 10.1007/978-3-642-03869-3_63

  39. 根岸純一, 岩崎英哉
    Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
    情報処理学会論文誌　プログラミング, Vol.2, No.3, pp.48-56, 2009.

  40. Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki
    Kenro: A Virtual Machine Monitor Mostly Described in Haskell (Poster)
    Proc. 2009 ACM Symposium on Applied Computing (SAC 2009), ACM Press, pp.1940-1941, 2009.
    DOI: 10.1145/1529282.1529714

  41. Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
    Tuning Mechanisms for Two Major Parameters of Apache Web Servers
    Software - Practice and Experience, Vol.38, No.12, pp.1215-1240, 2008.
    DOI: 10.1002/spe.861

  42. 田村知博, 高野保真, 岩崎英哉
    純関数型言語の処理系における効率的な枝刈り機構の実装
    情報処理学会論文誌　プログラミング, Vol.1, No.2, pp.28-41, 2008.

  43. Yuki Karasawa, Hideya Iwasaki
    Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
    情報処理学会論文誌：プログラミング, Vol.49, No.SIG 3 (PRO 36), pp.1-15, 2008.

  44. Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki
    A Sandbox with Dynamic Policy Based on Execution Contexts of Applications
    Proc. 12th Asian Computing Science Conference (ASIAN 2007), Lecture Notes in Computer Science 4846, Springer, pp.297-311, 2007.
    DOI: 10.1007/978-3-540-76929-3_28

  45. 牧大介, 岩崎英哉
    非同期処理のための JavaScript マルチスレッドフレームワーク
    情報処理学会論文誌：プログラミング, Vol.48, No.SIG 12 (PRO 34), pp.1-18, 2007.

  46. 阿部勝幸, 岩崎英哉, 河野健二
    アプリケーション層プロトコルの記述に基づく拡張性に優れたプロトコル処理コード生成系
    コンピュータソフトウェア, Vol.24, No.2, pp.150-163, 2007.
    DOI: 10.11309/jssst.24.2_150

  47. 杉木彰義, 河野健二, 岩崎英哉
    リクエスト待機間隔を考慮したウェブサーバの keep-alive 時間の自動設定
    コンピュータソフトウェア, Vol.24, No.2, pp.68-78, 2007.
    DOI: 10.11309/jssst.24.2_68

  48. Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
    Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
    Proc. 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), Lecture Notes in Computer Science 4354, Springer, pp.65-79, 2007.
    DOI: 10.1007/978-3-540-69611-7_4

  49. 森本武資, 岩崎英哉
    要求駆動計算における要求粒度調節機構
    情報処理学会論文誌, Vol.47, No.12, pp.3277-3286, 2006.

  50. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
    A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    Proc. First International Conference on Scalable Information Systems (InfoScale 2006).
    DOI: 10.1145/1146847.1146860

  51. Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
    A Practical Approach to Automatic Parameter-Tuning of Web Servers
    Proc. 10th Asian Computing Science Conference (ASIAN 2005), Lecture Notes in Computer Science 3818, Springer, pp.146-159, 2005.
    DOI: 10.1007/11596370_14

  52. 明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
    最適化機構を持つC++並列スケルトンライブラリ
    コンピュータソフトウェア, Vol.22, No.3, pp.214-221, 2005.
    DOI: 10.11309/jssst.22.3_214

  53. 揚妻匡邦, 河野健二, 岩崎英哉, 益田隆司
    需要変化に動的に対応する伸縮自在サーバ群の基本機構
    電子情報通信学会論文誌 D-I, Vol.J88-D-1, No.4, pp.767-779, 2005.

  54. Hideya Iwasaki, Zhenjiang Hu
    A New Parallel Skeleton for General Accumulative Computations
    International Journal of Parallel Programming, Vol.32, No.5, pp.389-414, 2004.
    DOI: 10.1023/B:IJPP.0000038069.80050.74

  55. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
    A Fusion-Embedded Skeleton Library
    Proc. 10th International Euro-Par Conference (Euro-Par 2004), Lecture Notes in Computer Science 3149, Springer, pp.644-653, 2004.
    DOI: 10.1007/978-3-540-27866-5_85

  56. 森本武資, 岩崎英哉, 竹内郁雄
    枝刈り機構とメモ化機構をもつ言語
    コンピュータソフトウェア, Vol.21, No.4, pp.55-60, 2004.
    DOI: 10.11309/jssst.21.289

  57. 村田光一, 河野健二, 岩崎英哉, 益田隆司
    ファイル移送に基づく分散ファイルシステムの設計と実装
    コンピュータソフトウェア, Vol.21, No.4, pp.43-48, 2004.
    DOI: 10.11309/jssst.21.277

  58. Hideya Iwasaki, Kumiko Tanaka-Ishii
    An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry
    Proc. 1st International Joint Conference on Natural Language Processing (IJCNLP 2004), Lecture Notes in Artificial Intelligence 3248, Springer, pp.755-764, 2005.
    DOI: 10.1007/978-3-540-30211-7_80

  59. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation
    Proc. 8th Asian Computing Science Conference (ASIAN 2003), Lecture Notes in Computer Science 2896, Springer, pp.18-32, 2003.
    DOI: 10.1007/978-3-540-40965-6_3

  60. 揚妻匡邦, 河野健二, 岩崎英哉, 益田隆司
    モバイルコード技術によるアプリケーション層プロトコルのユーザ透過な配布機構
    電子情報通信学会論文誌 D-I, Vol.J86-D-1, No.6, pp.389-401, 2003.

  61. Hideya Iwasaki
    Developing a Lisp-based Preprocessor for TEX Documents
    Software - Practice and Experience, Vol.32, No.14, pp.1345-1363, 2002.
    DOI: 10.1002/spe.485

  62. Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui
    Characterizing Feasible Pattern Sets with Minimum Number of Breaks
    Proc. 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2002), Lecture Notes in Computer Science 2740, Springer, pp.78-99, 2003.
    DOI: 10.1007/978-3-540-45157-0_5

  63. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All
    Proc. 2002 European Symposium on Programming (ESOP 2002), Lecture Notes in Computer Science 2305, Springer, pp.83-97, 2002.
    DOI: 10.1007/3-540-45927-8_7

  64. Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki
    Diffusion after Fusion - Deriving Efficient Parallel Algorithms
    Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), CSREA Press, pp.735-741, 2001.

  65. Tomonari Takahashi, Hideya Iwasaki, Zhenjiang Hu
    Efficient Parallel Skeletons for Nested Data Structures
    Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), CSREA Press, pp.728-734, 2001.

  66. 岩崎英哉, 胡振江, 武市正人
    漸次的組化と融合による関数プログラムの最適化
    コンピュータソフトウェア, Vol.18, No.0, pp.46-59, 2001.
    DOI: 10.11309/jssst.18.46

  67. Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tatano, Masato Takeichi
    Context-Sensitive Detection and Correction of Homonym Errors in Japanese Texts (Poster)
    Proc. 5th International Workshop on Information Retrieval with Asian Languages (IRAL 2000), pp.215-216, 2000.
    DOI: 10.1145/355214.355251

  68. Seiji Adachi, Hideya Iwasaki, Zhenjiang Hu
    Diff: A Powerful Parallel Skeleton
    Proc. 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), CSREA Press, pp.2175-2181, 2000.

  69. 尾上能之, 胡振江, 岩崎英哉, 武市正人
    プログラム融合変換の実用的有効性の検証
    コンピュータソフトウェア, Vol.17, No.3, pp.81-85, 2000. (in Japanese)
    DOI: 10.11309/jssst.17.273

  70. 吉良智樹, 並木美太郎, 岩崎英哉
    初心者入門用言語「若葉」の言語仕様と処理系の実装
    情報処理学会論文誌：プログラミング, Vol.40, No.SIG 10 (PRO 5), pp.28-38, 1999.

  71. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Calculating Accumulations
    New Generation Computing, Vol.17, No.2, pp.153-173, 1999.
    DOI: 10.1007/BF03037434

  72. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Diffusion: Calculating Efficient Parallel Programs
    Proc. 1999 ACM SIGPLAN International Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999), pp.85-94, 1999.

  73. 田中(石井)久美子, 梅村恭司, 岩崎英哉
    第三言語を介した対訳辞書の作成
    情報処理学会論文誌, Vol.39, No.6, pp.1915-1924, 1998.

  74. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
    Towards Manipulation of Mutually Recursive Functions
    Proc. 3rd Fuji International Symposium on Functional and Logic Programming (FLOPS 1998), World Scientific, pp.61-79, 1998.

  75. 岩崎英哉, 胡振江
    蓄積引数を持つ関数プログラムの融合変換
    情報処理学会論文誌, Vol.39, No.3, pp.664-673, 1998.

  76. 徐良為, 武市正人, 岩崎英哉
    関係代数による UNITY ループの意味づけ
    情報処理学会論文誌, Vol.39, No.3, pp.646-655, 1998.

  77. Liangwei Xu, Masato Takeichi, Hideya Iwasaki
    Relational Semantics for Locally Nondeterministic Programs
    New Generation Computing, Vol.15, No.3, pp.339-361, 1997.
    DOI: 10.1007/BF03037950

  78. Kumiko Tanaka-Ishii, Hideya Iwasaki
    Clustering Co-occurrence Graph based on Transitivity
    Proc. 5th Workshop on Very Large Corpora (WVLC 1997), pp.91-100, 1997.

  79. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
    Tupling Calculation Eliminates Multiple Data Traversals
    Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997), ACM Press, pp.164-175, 1997.
    DOI: 10.1145/258949.258964

  80. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms
    ACM Transactions on Programming Languages and Systems, Vol.19, No.3, pp.444-461, 1997.
    DOI: 10.1145/256167.256201

  81. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    A Calculational Fusion System HYLO
    Proc. IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Chapman & Hall, pp.76-106, 1997.

  82. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Extension of the Acid Rain Theorem
    Proc. 2nd Fuji International Workshop on Functional and Logic Programming, World Scientific, pp.91-105, 1996.

  83. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Construction of List Homomorphisms by Tupling and Fusion
    Proc. Mathematical Foundations of Computer Science (MFCS 1996), Lecture Notes in Computer Science 1113, Springer, pp.407-418, 1996.
    DOI: 10.1007/3-540-61550-4_166

  84. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem
    Proc. Annual European Conference on Parallel Processing (Euro-Par 1996), Lecture Notes in Computer Science 1123, Springer, pp.553-562, 1996.
    DOI: 10.1007/3-540-61626-8_75

  85. Kumiko Tanaka, Hideya Iwasaki
    Extraction of Lexical Translations from Non-Aligned Corpora
    Proc. 16th International Conference on Computer Linguistics (COLING 1996), pp.580-585, 1996.
    DOI: 10.3115/993268.993270

  86. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Deriving Structural Hylomorphisms from Recursive Definitions
    Proc. 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 1996), ACM Press, pp.73-82, 1996.
    DOI: 10.1145/232629.232637

  87. 田中哲朗, 岩崎英哉, 長橋賢児, 和田英一
    部品合成による漢字スケルトンフォントの作成
    情報処理学会論文誌, Vol.36, No.9, pp.2122-2131, 1995.

  88. Zhenjiang Hu, Hideya Iwasaki
    Promotional Transformation of Monadic Programs
    Proc. Fuji International Workshop on Functional and Logic Programming (FLOPS 1995), World Scientific, pp.196-210, 1995.

  89. Liangwei Xu, Hideya Iwasaki, Masato Takeichi
    Derivation of Algorithms by Introduction of Generation Functions
    New Generation Computing, Vol.13, No.1, pp.75-98, 1994.
    DOI: 10.1007/BF03038309

  90. 岩崎英哉, 竹内幹雄
    オブジェクトの形状が定義可能な並列記号処理言語用核の設計と実現
    情報処理学会論文誌, Vol.34, No.8, pp.1752-1761, 1993.

  91. 岩崎英哉
    マルチプロセッサ Unix マシン上における並列言語処理系の実装法の検討
    情報処理学会論文誌, Vol.33, No.11, pp.1351-1360, 1992.

  92. Hideya Iwasaki
    mUtilisp: a Lisp Dialect for Parallel Processing
    Proc. US Japan Workshop on Parallel Lisp, Lecture Notes in Computer Science 441, Springer, pp.316-321, 1990.
    DOI: 10.1007/BFb0024165

  93. 岩崎英哉
    Lispにおける並列動作の記述と実現
    情報処理学会論文誌, Vol.28, No.5, pp.465-470, 1987.

著書・解説
  1. 岩崎英哉
    日本ソフトウェア科学会第26回大会報告
    コンピュータソフトウェア, Vol.27, No.2, pp.180-186, 2010.

  2. 岩崎英哉, 胡振江
    並列計算パターン (スケルトン) による並列プログラミング
    情報処理, Vol.49, No.12, pp.1385-1394, 2008.

  3. 山口和紀, 岩崎英哉
    情報科学の基礎 −新しい情報リテラシをめざして−
    New Text 電子情報系シリーズ第6巻, 昭晃堂, 2006. (ISBN 4-7856-2152-4)

  4. 岩崎英哉
    20世紀の名著名論: Robin Milner: A Proposal for Standard ML
    情報処理, Vol.46, No.12, p.1416, 2005.

  5. 胡振江, 岩崎英哉
    スケルトン並列プログラミング
    情報処理, Vol.46, No.10, pp.1158-1162, 2005.

  6. 岩崎英哉
    20世紀の名著名論: D.E.Knuth, J.H.Morris, V.R.Pratt: Fast Pattern Matching in Strings
    情報処理, Vol.45, No.8, p.857, 2004.

  7. 岩崎英哉
    構成的アルゴリズム論
    コンピュータソフトウェア, Vol.15, No.6, pp.57-70, 1998.
    DOI: 10.11309/jssst.15.6_547

  8. 岩崎英哉, 金子敬一
    Fuji International Workshop on Functional and Logic Programming 報告
    コンピュータソフトウェア, Vol.13, No.1, pp.99-103, 1996.