(最終更新日:2024-05-24 15:16:07)
  アベ タツヤ   TATSUYA ABE
  安部 達也
   所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター
   職種   上席研究員
■ 学位
1. 1998/04~2002/03 京都大学 理学部 卒業 学士
2. 2002/04~2004/03 東京大学 情報理工学系研究科 修士課程修了 修士
3. 2004/04~2007/09 東京大学 情報理工学系研究科 博士課程単位取得満期退学
4. 2007/12/25
(学位取得)
東京大学 博士
■ 専門分野
ソフトウェア (キーワード:プログラミング言語、数理論理学、ラムダ計算、並行性) 
■ メールアドレス
  kyoin_mail
■ 所属学会
1. 2017/08~ 日本ソフトウェア科学会
2. 2011/06~ 情報処理学会
■ 著書・論文・作品
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
全件表示(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 情報処理学会プログラミング研究会 運営委員
全件表示(15件)