List of Publications
Japanese Version
DBLP
Selected Papers
-
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
-
Hiro Onozawa,
Hideya Iwasaki,
Tomoharu Ugawa
Customizing JavaScript Virtual Machines for Specific Applications and Execution Environments
Computer Software,
Vol.38, No.3, pp.23-40, 2021.
(in Japanese)
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
-
Naoto Kato,
Hideya Iwasaki
Eliminating Unnecessary Communications in the Vertex-centric Graph
Processing in the Fregel Compiler
Computer Software,
Vol.36, No.2, pp.28-46, 2019.
(in Japanese)
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
-
Yasunao Takano,
Hideya Iwasaki,
Shigeyuki Sato
Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler
Computer Software,
Vol.32, No.1, pp.253-287, 2015.
(in Japanese)
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
-
Yasunao Takano,
Hideya Iwasaki,
Tomoharu Ugawa
Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler
IPSJ Transactions on Programming,
Vol.5, No.2, pp.67-78, 2012.
(in Japanese)
-
Tomoharu Ugawa,
Hideya Iwasaki,
Taiichi Yuasa
Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection
IPSJ Transactions on Programming,
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
-
Takahiro Orito,
Hideya Iwasaki
Hiding Source Code of Web Application on Client Browser
IPSJ Transactions on Programming,
Vol.3, No.4, pp.16-26, 2010.
(in Japanese)
-
Kazuma Inazu,
Hideya Iwasaki
Design and Implementation of Web Framework with Auto Partitioning
into Server and Client
IPSJ Transactions on Programming,
Vol.3, No.4, pp.1-15, 2010.
(in Japanese)
-
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
-
Junichi Negishi,
Hideya Iwasaki
GHCi Debugger Front-end for Haskell Programming
IPSJ Transactions on Programming,
Vol.2, No.3, pp.48-56, 2009.
(in Japanese)
-
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
-
Tomohiro Tamura,
Yasunao Takano
Hideya Iwasaki
An Efficient Implementation of Pruning Mechanism in a
Purely Functional Programming Language
IPSJ Transactions on Programming,
Vol.1, No.2, pp.28-41, 2008.
(in Japanese)
-
Yuki Karasawa,
Hideya Iwasaki
Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
IPSJ Transactions on Programming,
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
-
Daisuke Maki,
Hideya Iwasaki
JavaScript Multi-thread Framework for Asynchronous Processing
IPSJ Transactions on Programming,
Vol.48, No.SIG 12 (PRO 34), pp.1-18, 2007.
(in Japanese)
-
Katsuyuki Abe,
Hideya Iwasaki,
Kenji Kono
An Extensible Protocol-processing Code Generator from Definitions of
Application-layer Protocols
Computer Software,
Vol.24, No.2, pp.150-163, 2007.
(in Japanese)
DOI: 10.11309/jssst.24.2_150
-
Akiyoshi Sugiki,
Kenji Kono,
Hideya Iwasaki
Automatic Tuning of the Keep-alive Parameter of Web Servers
Based on Request-waiting intervals
Computer Software,
Vol.24, No.2, pp.68-78, 2007.
(in Japanese)
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
-
Takeshi Morimoto,
Hideya Iwasaki
A Mechanism for Adjusting Granularity of Demand Driven Computation
Journal of Information Processing Society of Japan,
Vol.47, No.12, pp.3277-3286, 2006.
(in Japanese)
-
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
-
Yoshiki Akashi,
Kiminori Matsuzaki,
Kazuhiko Kakehi,
Hideya Iwasaki,
Zhenjiang Hu
A Parallel Skeleton Library in C++ with Optimization Mechanism
Computer Software,
Vol.22, No.3, pp.214-221, 2005.
(in Japanese)
DOI: 10.11309/jssst.22.3_214
-
Masakuni Agetsuma,
Kenji Kono,
Hideya Iwasaki,
Takashi Masuda
Basic Mechanism of Elastic Server Groups
--- Dynamic Adaptation to Load Fluctuation
IEICE Transactions on Information and Systems,
Vol.J88-D-1, No.4, pp.767-779, 2005.
(in Japanese)
-
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
-
Takeshi Morimoto,
Hideya Iwasaki,
Ikuo Takeuchi
A Language equipped with Pruning and Memoization Mechanisms
Computer Software,
Vol.21, No.4, pp.55-60, 2004.
(in Japanese)
DOI: 10.11309/jssst.21.289
-
Koichi Murata,
Kenji Kono,
Hideya Iwasaki,
Takashi Masuda
Design and Implementation of a Migration-based Distributed File System
Computer Software,
Vol.21, No.4, pp.43-48, 2004.
(in Japanese)
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
-
Masakuni Agetsuma,
Kenji Kono,
Hideya Iwasaki,
Takashi Masuda
Exploiting Mobile Codes for User-Transparent Distribution of
Application-Level Protocols
IEICE Transactions on Information and Systems,
Vol.J86-D-1, No.6, pp.389-401, 2003.
(in Japanese)
-
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.
-
Hideya Iwasaki,
Zhenjiang Hu,
Masato Takeichi
Calculating Functional Programs by Incremental Tupling and Fusion
Computer Software,
Vol.18, No.0, pp.46-59, 2001.
(in Japanese)
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.
-
Yoshiyuki Onoue,
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi
Verification for Practical Effectiveness of Program Fusion
Computer Software,
Vol.17, No.3, pp.81-85, 2000.
DOI: 10.11309/jssst.17.273
-
Tomoki Kira,
Mitaro Namiki,
Hideya Iwasaki
A Design and Implementation of the Programming Language ``Wakaba''
for Entry Courses of Programming Educations
IPSJ Transactions on Programming,
Vol.40, No.SIG 10 (PRO 5), pp.28-38, 1999.
(in Japanese)
-
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.
-
Kumiko Tanaka-Ishii,
Kyoji Umemura,
Hideya Iwasaki
Construction of Bilingual Dictionary Intermediated by a Third Language
Journal of Information Processing Society of Japan,
Vol.39, No.6, pp.1915-1924, 1998.
(in Japanese)
-
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.
-
Hideya Iwasaki,
Zhenjiang Hu
Promotional Transformation of Functional Programs with
Accumulative Parameters
Journal of Information Processing Society of Japan,
Vol.39, No.3, pp.664-673, 1998.
(in Japanese)
-
Liangwei Xu,
Masato Takeichi,
Hideya Iwasaki
Relational Definition of UNITY Loop
Journal of Information Processing Society of Japan,
Vol.39, No.3, pp.646-655, 1998.
(in Japanese)
-
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
-
Tetsuro Tanaka,
Hideya Iwasaki,
Kenji Nagahashi,
Eiiti Wada
Making Kanji Skeleton Fonts through Compositing Parts
Journal of Information Processing Society of Japan,
Vol.36, No.9, pp.2122-2131, 1995.
(in Japanese)
-
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
-
Hideya Iwasaki,
Mikio Takeuchi
Design and Implementation of a Kernel with User-Definable Objects
for Parallel Symbolic Processing Languages
Journal of Information Processing Society of Japan,
Vol.34, No.8, pp.1752-1761, 1993.
(in Japanese)
-
Hideya Iwasaki
Implementation of Parallel Processing Language System on a
Multiprocessor Unix Machine
Journal of Information Processing Society of Japan,
Vol.33, No.11, pp.1351-1360, 1992.
(in Japanese)
-
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
-
Hideya Iwasaki
Programming and Implementation of a Multi-processing Lisp
Journal of Information Processing Society of Japan,
Vol.28, No.5, pp.465-470, 1987.
(in Japanese)
Books and Tutorials
-
Hideya Iwasaki
Report on the 26th JSSST Conference
Computer Software,
Vol.27, No.2, pp.180-186, 2010.
(in Japanese)
-
Hideya Iwasaki,
Zhenjiang Hu
Programming with Parallel Computation Patterns (Skeletons)
IPSJ Magazine,
Vol.49, No.12, pp.1385-1394, 2008.
(in Japanese)
-
Kazunori Yamaguchi,
Hideya Iwasaki
The Computer Science Primer
Shokodo, 2006. (ISBN 4-7856-2152-4)
(in Japanese)
-
Hideya Iwasaki
Prominent Books and Articles in the 20th Century:
Robin Milner: A Proposal for Standard ML
IPSJ Magazine,
Vol.46, No.12, p.1416, 2005.
(in Japanese)
-
Zhenjiang Hu,
Hideya Iwasaki
Skeletal Parallel Programming
IPSJ Magazine,
Vol.46, No.10, pp.1158-1162, 2005.
(in Japanese)
-
Hideya Iwasaki
Prominent Books and Articles in the 20th Century:
D.E.Knuth, J.H.Morris, V.R.Pratt: Fast Pattern Matching in Strings
IPSJ Magazine,
Vol.45, No.8, p.857, 2004.
(in Japanese)
-
Hideya Iwasaki
Introduction to Constructive Algorithmics
Computer Software,
Vol.15, No.6, pp.57-70, 1998.
(in Japanese)
DOI: 10.11309/jssst.15.6_547
-
Hideya Iwasaki,
Keiichi Kaneko.
Report on
Fuji International Workshop on Functional and Logic Programming
Computer Software,
Vol.13, No.1, pp.99-103, 1996.
(in Japanese)