安部達也

アベタツヤ | TATSUYA ABE

所属機関・部署：
職名：その他
ホームページURL (1件)： https://abetatsuya.github.io/

研究分野 (1件)：ソフトウェア

研究キーワード (4件)：並行性 , ラムダ計算 , 数理論理学 , プログラミング言語

競争的資金等の研究課題 (5件)：

論文 (28件)：

Tatsuya Abe and Daisuke Kimura. A Typed Lambda-Calculus with First-Class Configurations. Journal of Logic and Computation. 2023. 33. 7. 1527-1565
Tatsuya Abe and Daisuke Kimura. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. Journal of Applied Logics. 2023. 10. 4. 511-530
Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-Ensured Language for Task Parallel Processing with Backtracking-Based Load Balancing. Journal of Information Processing. 2021. 29. 434-448
Makoto Hamana, Tatsuya Abe, and Kentaro Kikuchi. Polymorphic computation systems: Theory and practice of confluence with call-by-value. Science of Computer Programming. 2020. 187. 102322
Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. Proceedings of MPLR. 2019. 50-62

MISC (6件)：

松元稿如, 鵜川始陽, 安部達也. メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ. 第23回ソフトウェア工学の基礎ワークショップ(FOSE)議事録. 2016. 63-72
安部達也, 佐藤三久. 高性能計算における Verification-Oblivious プログラミングのためのディレクティブに基づくソースコード検証. 夏のプログラミング・シンポジウム「プログラミング言語、作る人、使う人」. 2011. 1-6
安部達也, 平石拓, 三宅洋平, 岩下武史, 中島浩. 分散制約充足問題のジョブ並列による求解. 並列/分散/協調処理に関するサマー・ワークショップ. 2011. 1-8
曾川景介, 平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩. 並列スクリプト言語 Xcrypt によるジョブ分割実行に基づく並列化ツール. 第 27 回日本ソフトウェア科学会全国大会. 2010
平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩. 柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt. 第8回先進的計算基盤システムシンポジウム(SACSIS)議事録. 2010. 183-191

学歴 (3件)：

学位 (3件)：

経歴 (6件)：

全件表示

委員歴 (15件)：

全件表示

受賞 (1件)：

所属学会 (2件)：

日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

安部 達也