教員情報 - 安部　達也 | 千葉工業大学

■ 学位

1.	1998/04～2002/03	京都大学理学部卒業学士
2.	2002/04～2004/03	東京大学情報理工学系研究科修士課程修了修士
3.	2004/04～2007/09	東京大学情報理工学系研究科博士課程単位取得満期退学
4.	2007/12/25 (学位取得)	東京大学博士

■ 専門分野

ソフトウェア　（キーワード：プログラミング言語、数理論理学、ラムダ計算、並行性）

■ メールアドレス

■ 所属学会

1.	2011/06～	情報処理学会
2.	2017/08～	日本ソフトウェア科学会

■ 著書・論文・作品

1.	論文	A concurrent system of multi-ported processes with causal dependency Proceedings of APLAS pp.146-162 （単著） 2004/11
2.	論文	Completeness of modal proofs in first-order predicate logic JSSST Computer Software 24(4),pp.165-177 （単著） 2007/11
3.	論文	Formalization of system LSI specification and automatic generation of verification items Proceedings of TESTCOM/FATES pp.75-76 （共著） 2008/06
4.	論文	高生産並列スクリプト言語 Xcrypt の開発夏のプログラミング・シンポジウム「境界の情報科学〜インタフェースを考える〜」 67-73頁（共著） 2009/09
5.	論文	柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt 第8回先進的計算基盤システムシンポジウム（SACSIS）議事録 183-191頁（共著） 2010/05
6.	論文	並列スクリプト言語 Xcrypt によるジョブ分割実行に基づく並列化ツール第 27 回日本ソフトウェア科学会全国大会（共著） 2010/09
7.	論文	分散制約充足問題のジョブ並列による求解並列/分散/協調処理に関するサマー・ワークショップ 1-8頁（共著） 2011/07
8.	論文	高性能計算における Verification-Oblivious プログラミングのためのディレクティブに基づくソースコード検証夏のプログラミング・シンポジウム「プログラミング言語、作る人、使う人」 1-6頁（共著） 2011/09
9.	論文	Xcrypt: a Perl extension for job level parallel programming Proceedings of WHIST pp.1-9 （共著） 2012/05
10.	論文	Auto-tuning of numerical programs by block multi-color ordering code generation and job-level parallel execution Proceedings of iWAPT pp.404-419 （共著） 2012/07
11.	論文	On-the-fly synchronization checking for interactive programming in XcalableMP Proceedings of P2S2 pp.29-37 （共著） 2012/09
12.	論文	Xcrypt on Lisp: a scripting system for job level parallel programming in Lisp Proceedings of ILC pp.107-114 （共著） 2012/10
13.	論文	Model checking with user-definable abstraction for partitioned global address space languages Proceedings of PGAS pp.1-10 （共著） 2012/10
14.	論文	Model checking stencil computations written in a partitioned global address space language Proceedings of HIPS pp.365-374 （共著） 2013/05
15.	論文	Model checking with user-definable memory consistency models. Proceedings of PGAS pp.225-230 （共著） 2013/10
16.	論文	A general model checking framework for various memory consistency models Proceedings of HIPS pp.332-341 （共著） 2014/05
17.	論文	Optimization of a general model checking framework for various memory consistency models. Proceedings of PGAS pp.1-14 （共著） 2014/10
18.	論文	Towards a unified verification theory for various memory consistency models Proceedings of LOLA pp.1-2 （共著） 2015/07
19.	論文	Reducing state explosion for software model checking with relaxed memory consistency models Proceedings of SETTA pp.118-135 （共著） 2016/11
20.	論文	Observation-based concurrent program logic for relaxed memory consistency models Proceedings of APLAS pp.63-84 （共著） 2016/11
21.	論文	メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ第23回ソフトウェア工学の基礎ワークショップ（FOSE）議事録 63-72頁（共著） 2016/12
22.	論文	Concurrent program logic for relaxed memory consistency models with dependencies across loop iterations Journal of Information Processing 25,pp.244-255 （共著） 2017/01
23.	論文	Reordering control approaches to state explosion in model checking with memory consistency models Proceedings of VSTTE （共著） 2017/07
24.	論文	The system SOL: second-order laboratory Proceedings of IWC pp.79-79 （共著） 2017/09
25.	論文	Model checking copy phases of concurrent copying garbage collection with various memory models Proceedings of OOPSLA （共著） 2017/10
26.	論文	A General Model Checking Framework for Various Memory Consistency Models International Journal on Software Tools for Technology Transfer 19(5),pp.623-647 （共著） 2017/10
27.	論文	A verifier of directed acyclic graphs for model checking with memory consistency models Proceedings of HVC pp.51-66 （単著） 2017/11
28.	論文	Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Journal of Information Processing 26,pp.314-326 （共著） 2018/03
29.	論文	Local Data Race Freedom with Non-Multi-Copy Atomicity Proceedings of SPIN pp.196-215 （単著） 2018/06
30.	論文	A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language Proceedings of MPLR pp.50-62 （単著） 2019/10
31.	論文	Polymorphic computation systems: Theory and practice of confluence with call-by-value Science of Computer Programming 187(102322) （共著） 2020/02
32.	論文	An Extensionally Equivalence-Ensured Language for Task Parallel Processing with Backtracking-Based Load Balancing Journal of Information Processing 29,pp.434-448 （共著） 2021/06
33.	論文	Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding Journal of Applied Logics 10(4),pp.511-530 （共著） 2023/07
34.	論文	A Typed Lambda-Calculus with First-Class Configurations Journal of Logic and Computation 33(7),pp.1527-1565 （共著） 2023/10
5件表示
全件表示(34件)

■ 研究題目

1.	2023/04～2026/03	時間を扱う論理と並行プログラム論理の合成に関する研究基盤研究（C）
2.	2017/07～2017/07	奨学寄付金その他の補助金・助成金
3.	2016/11～2017/01	奨学寄付金その他の補助金・助成金
4.	2016/04～2019/03	メモリー貫性モデルを考慮したプログラム検証の統一理論の構築とその検査器の実装若手研究（B）
5.	2013/04～2017/03	PGAS言語のメモリー貫性に関するプログラム検証理論とその実装若手研究（B）

■ ホームページ

https://abetatsuya.github.io/

■ 委員会・協会等

1.	2016/03/07～2016/03/09	日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショッププログラム委員
2.	2016/03/17～2016/03/18	理論計算機科学と圏論ワークショップ2016 幹事
3.	2017/08/08～2017/08/09	第34回記号論理学と情報科学幹事
4.	2018/03/05～2018/03/07	日本ソフトウェア科学会第20回プログラミングおよびプログラミング言語ワークショップ組織委員
5.	2018/04/01～2022/03/31	情報処理学会プログラミング研究会運営委員
6.	2018/04/01～2022/03/31	情報処理学会論文誌プログラミング編集委員
7.	2018/04/01～2022/03/31	並列／分散／協調処理に関するサマー・ワークショップ実行委員
8.	2019/03/06～2019/03/08	日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ組織委員
9.	2020/03/02～2020/03/04	日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショッププログラム委員
10.	2023/03/06～2023/03/08	日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショッププログラム委員
11.	2023/04/01～	情報処理学会プログラミング研究会幹事
12.	2023/04/01～	情報処理学会論文誌プログラミング編集委員
13.	2023/08/21～	計算・言語・論理の研究集会御宿世話人
14.	2024/03/05～2024/03/07	日本ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショッププログラム共同委員長
15.	2024/04/01～	日本ソフトウェア科学会プログラミング論研究会運営委員
16.	2025/01/24	日本ソフトウェア科学会コンピュータソフトウェア Vol. 42, No. 1 特集号「プログラミングおよびプログラング言語」編集委員長
17.	2025/03/05～2025/03/07	日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ組織委員
5件表示
全件表示(17件)