発表文献リスト
English Version
DBLP
論文
-
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
-
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
-
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
-
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
-
小野澤拓,
岩崎英哉,
鵜川始陽
アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系
コンピュータソフトウェア,
Vol.38, No.3, pp.23-40, 2021.
DOI: 10.11309/jssst.38.3_23
-
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
-
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
-
加藤直斗,
岩崎英哉
Fregel コンパイラにおける不要な値送受信の削減
コンピュータソフトウェア,
Vol.36, No.2, pp.28-46, 2019.
DOI: 10.11309/jssst.36.2_28
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
高野保真,
岩崎英哉,
佐藤重幸
Glasgow Haskell Compiler 上の遅延オブジェクト再利用手法の設計と実装
コンピュータソフトウェア,
Vol.32, No.1, pp.253-287, 2015.
DOI: 10.11309/jssst.32.1_253
-
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
-
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
-
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
-
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
-
高野保真,
岩崎英哉,
鵜川始陽
Glasgow Haskell Compiler における再帰的データ構造のための遅延オブジェクトの再利用
情報処理学会論文誌 プログラミング,
Vol.5, No.2, pp.67-78, 2012.
-
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.
-
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
-
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
-
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
-
折戸隆洋,
岩崎英哉
ブラウザで動作するウェブアプリケーションのソースコード隠蔽機構
情報処理学会論文誌 プログラミング,
Vol.3, No.4, pp.16-26, 2010.
-
稲津和磨,
岩崎英哉
サーバ/クライアント自動分割を備えた Web フレームワークの設計と実装
情報処理学会論文誌 プログラミング,
Vol.3, No.4, pp.1-15, 2010.
-
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
-
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
-
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
-
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
-
根岸純一,
岩崎英哉
Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
情報処理学会論文誌 プログラミング,
Vol.2, No.3, pp.48-56, 2009.
-
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
-
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
-
田村知博,
高野保真,
岩崎英哉
純関数型言語の処理系における効率的な枝刈り機構の実装
情報処理学会論文誌 プログラミング,
Vol.1, No.2, pp.28-41, 2008.
-
Yuki Karasawa,
Hideya Iwasaki
Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
情報処理学会論文誌:プログラミング,
Vol.49, No.SIG 3 (PRO 36), pp.1-15, 2008.
-
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
-
牧大介,
岩崎英哉
非同期処理のための JavaScript マルチスレッドフレームワーク
情報処理学会論文誌:プログラミング,
Vol.48, No.SIG 12 (PRO 34), pp.1-18, 2007.
-
阿部勝幸,
岩崎英哉,
河野健二
アプリケーション層プロトコルの記述に基づく拡張性に優れたプロトコル処理コード生成系
コンピュータソフトウェア,
Vol.24, No.2, pp.150-163, 2007.
DOI: 10.11309/jssst.24.2_150
-
杉木彰義,
河野健二,
岩崎英哉
リクエスト待機間隔を考慮したウェブサーバの keep-alive 時間の自動設定
コンピュータソフトウェア,
Vol.24, No.2, pp.68-78, 2007.
DOI: 10.11309/jssst.24.2_68
-
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
-
森本武資,
岩崎英哉
要求駆動計算における要求粒度調節機構
情報処理学会論文誌,
Vol.47, No.12, pp.3277-3286, 2006.
-
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
-
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
-
明石良樹,
松崎公紀,
岩崎英哉,
筧一彦,
胡振江
最適化機構を持つC++並列スケルトンライブラリ
コンピュータソフトウェア,
Vol.22, No.3, pp.214-221, 2005.
DOI: 10.11309/jssst.22.3_214
-
揚妻匡邦,
河野健二,
岩崎英哉,
益田隆司
需要変化に動的に対応する伸縮自在サーバ群の基本機構
電子情報通信学会論文誌 D-I,
Vol.J88-D-1, No.4, pp.767-779, 2005.
-
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
-
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
-
森本武資,
岩崎英哉,
竹内郁雄
枝刈り機構とメモ化機構をもつ言語
コンピュータソフトウェア,
Vol.21, No.4, pp.55-60, 2004.
DOI: 10.11309/jssst.21.289
-
村田光一,
河野健二,
岩崎英哉,
益田隆司
ファイル移送に基づく分散ファイルシステムの設計と実装
コンピュータソフトウェア,
Vol.21, No.4, pp.43-48, 2004.
DOI: 10.11309/jssst.21.277
-
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
-
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
-
揚妻匡邦,
河野健二,
岩崎英哉,
益田隆司
モバイルコード技術によるアプリケーション層プロトコルのユーザ透過な配布機構
電子情報通信学会論文誌 D-I,
Vol.J86-D-1, No.6, pp.389-401, 2003.
-
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
-
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
-
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
-
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.
-
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.
-
岩崎英哉,
胡振江,
武市正人
漸次的組化と融合による関数プログラムの最適化
コンピュータソフトウェア,
Vol.18, No.0, pp.46-59, 2001.
DOI: 10.11309/jssst.18.46
-
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
-
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.
-
尾上能之,
胡振江,
岩崎英哉,
武市正人
プログラム融合変換の実用的有効性の検証
コンピュータソフトウェア,
Vol.17, No.3, pp.81-85, 2000.
(in Japanese)
DOI: 10.11309/jssst.17.273
-
吉良智樹,
並木美太郎,
岩崎英哉
初心者入門用言語「若葉」の言語仕様と処理系の実装
情報処理学会論文誌:プログラミング,
Vol.40, No.SIG 10 (PRO 5), pp.28-38, 1999.
-
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi
Calculating Accumulations
New Generation Computing,
Vol.17, No.2, pp.153-173, 1999.
DOI: 10.1007/BF03037434
-
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.
-
田中(石井)久美子,
梅村恭司,
岩崎英哉
第三言語を介した対訳辞書の作成
情報処理学会論文誌,
Vol.39, No.6, pp.1915-1924, 1998.
-
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.
-
岩崎英哉,
胡振江
蓄積引数を持つ関数プログラムの融合変換
情報処理学会論文誌,
Vol.39, No.3, pp.664-673, 1998.
-
徐良為,
武市正人,
岩崎英哉
関係代数による UNITY ループの意味づけ
情報処理学会論文誌,
Vol.39, No.3, pp.646-655, 1998.
-
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
-
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.
-
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
-
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
-
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.
-
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.
-
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
-
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
-
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
-
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
-
田中哲朗,
岩崎英哉,
長橋賢児,
和田英一
部品合成による漢字スケルトンフォントの作成
情報処理学会論文誌,
Vol.36, No.9, pp.2122-2131, 1995.
-
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.
-
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
-
岩崎英哉,
竹内幹雄
オブジェクトの形状が定義可能な並列記号処理言語用核の設計と実現
情報処理学会論文誌,
Vol.34, No.8, pp.1752-1761, 1993.
-
岩崎英哉
マルチプロセッサ Unix マシン上における並列言語処理系の実装法の検討
情報処理学会論文誌,
Vol.33, No.11, pp.1351-1360, 1992.
-
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
-
岩崎英哉
Lispにおける並列動作の記述と実現
情報処理学会論文誌,
Vol.28, No.5, pp.465-470, 1987.
著書・解説
-
岩崎英哉
日本ソフトウェア科学会第26回大会報告
コンピュータソフトウェア,
Vol.27, No.2, pp.180-186, 2010.
-
岩崎英哉,
胡振江
並列計算パターン (スケルトン) による並列プログラミング
情報処理,
Vol.49, No.12, pp.1385-1394, 2008.
-
山口和紀,
岩崎英哉
情報科学の基礎 −新しい情報リテラシをめざして−
New Text 電子情報系シリーズ第6巻,
昭晃堂, 2006. (ISBN 4-7856-2152-4)
-
岩崎英哉
20世紀の名著名論:
Robin Milner: A Proposal for Standard ML
情報処理,
Vol.46, No.12, p.1416, 2005.
-
胡振江,
岩崎英哉
スケルトン並列プログラミング
情報処理,
Vol.46, No.10, pp.1158-1162, 2005.
-
岩崎英哉
20世紀の名著名論:
D.E.Knuth, J.H.Morris, V.R.Pratt: Fast Pattern Matching in Strings
情報処理,
Vol.45, No.8, p.857, 2004.
-
岩崎英哉
構成的アルゴリズム論
コンピュータソフトウェア,
Vol.15, No.6, pp.57-70, 1998.
DOI: 10.11309/jssst.15.6_547
-
岩崎英哉,
金子敬一
Fuji International Workshop on Functional and Logic Programming
報告
コンピュータソフトウェア,
Vol.13, No.1, pp.99-103, 1996.