Rchr
J-GLOBAL ID：200901062768770429
Update date: Jan. 30, 2024
HIDEYA IWASAKI
イワサキ ヒデヤ | HIDEYA IWASAKI
Affiliation and department：
Job title：
Professor
Other affiliations (1)：
-
The University of Electro-Communications
Homepage URL (1)：
http://ipl-www.cs.uec.ac.jp/~iwasaki
Research field (1)：
Software
Research theme for competitive and other funds (24)：
- 2023 - 2026 システムソフトウェアのための安全性と記述性に優れた領域特化言語とその構成法
- 2019 - 2021 大規模グラフを対象とする並列分散処理プログラムのプログラム変換技法に基づく開発手法の確立
- 2016 - 2019 Lightweight and Modular JavaScript System for Internet of Things
- 2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
- 2013 - 2016 Memory Management for Managed Runtimes in Embedded Systems on Multi-Core and Many-Core Processors
- 2011 - 2014 実用的ウェブアプリケーション開発を支援するサーバサイドJavaScript処理系
- 2008 - 2011 多様な形態の密結合マルチコアアーキテクチャ向け並列プログラミングシステム
- 2005 - 2006 Development of a Parallel Skeleton Library for rich set of data types withoptimization mechanism
- 2003 - 2004 需要変化に動的に対応するインターネットサービスの自己組織化サーバ群による実現
- 2003 - 2004 Development of Theoretical Basis and Practical Implementation of a new Skeletal Parallel Programming System
- 2000 - 2001 Computer Supported Learning Environment of Programming, Documentation and Presentation for Novice Programmers
- 1999 - 2001 Implementation of Program Calculator System
- 1999 - 2001 Implementation of Constructive Parallel Programming Models
- 1998 - 2000 Implementation of a Program Calculation System
- 1998 - 1998 一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
- 1997 - 1998 S式指向のプログラミングシステムの構築に関する研究
- 1997 - 1998 Program Optimization Based on Constructive Algorithmics
- 1997 - 1997 関数プログラムの再帰構造の抽象化とプログラム融合変換に関する研究
- 1995 - 1996 Research on Self-evolution Mechanisms of Computer Programs
- 1994 - 1996 Implementation of Parallel Functional Programming Systems
- 1995 - 1995 構成的手法によるプログラムの効率化に関する研究
- 1994 - 1994 記号処理言語の新しい評価機構の関する研究
- 1992 - 1992 高機能高品質ソフトウエア構成法の研究
- 1989 - 1990 Parallel Evaluation of Functional Programs
Show all
Papers (93)：
-
Takato Otsuka, Hideya Iwasaki. Haskell Library for Safer Virtual Machine Introspection (Experience Report). Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023). 2023. 89-96
-
Takumi Miyajima, Hideya Iwasaki, Yasushi Kuno. The TABLET Programming Learning Environment: from Block-based to Text-based Programming. Journal of Information Processing. 2022. 30. 729-741
-
Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa. Generating Virtual Machine Code of JavaScript Engine for Embedded Systems. Journal of Information Processing. 2022. 30. 679-693
-
Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki. Replication-based Object Persistence by Reachability. Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022). 2022. 43-56
-
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. 2022. 32. e4:1-e4:69
ｍore...
MISC (31)：
-
森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉. Optimizing Vertex-centric Parallel Graph Processing using Constraint Solver. 日本ソフトウェア科学会大会論文集. 2017. 34. 415-429
-
松崎 公紀, 岩崎 英哉, 江本 健斗, 胡 振江, 森畑 明昌. Intermediate Representation and Code Generator for Frameworks for Vertex-centric Graph Computation. 日本ソフトウェア科学会大会論文集. 2017. 34. 493-502
-
丹治将貴, 中野圭介, 岩崎英哉. Rubyに対するGradual typingの導入に向けて. 第58回プログラミング・シンポジウム予稿集. 2017
-
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉. Concurrent Operations on Splay Trees. 日本ソフトウェア科学会大会論文集. 2016. 33. 227-242
-
Using Hardware Transactional Memory for Efficiently Solving Graph Problems. 2015. 8. 1. 16-16
ｍore...
Books (3)：
-
情報科学の基礎-新しい情報リテラシをめざして-
昭晃堂 2006
-
エンサイクロペディア情報処理 改訂版
オーム社 2000
-
エンサイクロペディア情報処理
オーム社 1994
Lectures and oral presentations (7)：
-
ページ遷移・レイアウト・スクリプトを分離した Web アプリケーション記述システム
(第9回プログラミングおよびプログラミング言語ワークショップ (PPL'2007) 2007)
-
Improving Sequence を第一級の対象とする Scheme コンパイラ
(第8回プログラミングおよびプログラミング言語ワークショップ (PPL'2006) 2006)
-
ディペンダブルなインターネット・サーバを実現するクラスタ用ミドルウエアの基本設計
(先進的計算基盤システムシンポジウム (SACSIS 2003) 2003)
-
需要変化に動的に対応するミラーサーバの管理基盤
(日本ソフトウェア科学会 第6回プログラミングおよび応用のシステムに関するワークショップ (SPA'2003) 2003)
-
不均等データ上における汎用的並列スケルトン s-diff の提案
(日本ソフトウェア科学会 第4回プログラミングおよびプログラミング言語ワークショップ (PPL'2002) 2002)
ｍore...
Education (4)：
- - 1988 The University of Tokyo Graduate School, Division of Engineering 情報工学専攻
- - 1985 The University of Tokyo Graduate School, Division of Engineering 情報工学専門課程
- - 1983 The University of Tokyo Faculty of Engineering 計数工学科
- 1975 - 1978 麻布高等学校
Professional career (1)：
Committee career (12)：
- 2011/10 - 2023/09 日本学術会議 連携会員
- 2016/04/01 - 2018/03/31 日本ソフトウェア科学会 プログラミング論研究会主査
- 2013/04/01 - 2018/03/31 情報処理学会 プログラミング・シンポジウム 幹事長
- 2017/06 - 日本ソフトウェア科学会 理事
- 2008/04 - 2012/03 情報処理学会 プログラミング研究会運営委員
- 2005/04 - 2012/03 情報処理学会 プログラミング研究会論文誌編集委員
- 2006/04 - 2008/03 情報処理学会 プログラミング研究会論文誌編集委員長
- 2006/04 - 2007/03 情報処理学会 プログラミング研究会主査
- 2003/04 - 2006/03 情報処理学会 プログラミング研究会幹事
- 2000/04 - 2004/03 情報処理学会 プログラミング研究会論文誌編集委員
- 1997/04 - 2000/03 情報処理学会 プログラミング研究会連絡委員
- 1993 - 日本ソフトウェア科学会 学会誌編集委員
Show all
Awards (2)：
- 2018/03/11 - 日本ソフトウェア科学会プログラミング論研究会 日本ソフトウェア科学会 第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 論文賞 オブジェクトレイアウトを表すメタオブジェクトを含むヒープに対するスレッド化コンパクション
- 2018/03/07 - 日本ソフトウェア科学会プログラミング論研究会 日本ソフトウェア科学会 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018) 論文賞 Fregelコンパイラにおける不要な値送受信の削減
Association Membership(s) (3)：
ACM
, 情報処理学会
, 日本ソフトウェア科学会
