研究者
J-GLOBAL ID：200901042893533640   更新日: 2022年09月16日

佐々 政孝

サツサ マサタカ | MASATAKA SASSA
所属機関・部署：
東京工業大学

東京工業大学 について


職名： 名誉教授
研究分野 (1件)： 情報学基礎論
競争的資金等の研究課題 (6件)：
  • 2005 - 2010 Compiler Verification
  • 2005 - 2010 コンパイラの検証
  • Programming Environment
  • Programming Language Processors
  • プログラミング環境
全件表示
MISC (57件)：
もっと見る
書籍 (5件)：
  • コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINS を用いて
    朝倉書店 2008 ISBN:9784254121735
  • An Introduction to Attribute Grammars
    1996
  • 属性文法入門
    共立出版 1996
  • Programming Language Processors
    1989
  • プログラミング言語処理系
    岩波書店 1989
講演・口頭発表等 (19件)：
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (2009)
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009) 2009)
  • 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
    (情報処理学会論文誌 プログラミング 2009)
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009) 2009)
  • Validating correctness of compiler optimizer execution using temporal logic
    (J. Knoop (Ed.) 2008)
もっと見る
Works (1件)：
  • 並列化コンパイラ向け共通インフラストラクチャの研究
    2000 - 2006
学歴 (3件)：
  • - 1974 東京大学
  • - 1974 東京大学 理学系研究科 物理学
  • - 1970 東京大学 理学部 物理学科
学位 (2件)：
  • 理学博士 (東京大学)
  • 理学修士 (東京大学)
経歴 (10件)：
  • 1992 - -:
  • 1992 - -:東京工業大学 教授
  • 1990 - -:
  • 1990 - -:筑波大学 教授
  • 1986 - -:
全件表示
委員歴 (1件)：
  • 1994 - 日本ソフトウェア科学会 評議員
受賞 (2件)：
  • 1990 - 情報処理学会30周年記念論文佳作
  • 1981 - 情報処理学会論文賞
所属学会 (6件)：
Association for Computing Machinery ,  IEEE Computer Society ,  IEEE Computer Society ,  情報処理学会 ,  日本ソフトウェア科学会 ,  Association for Computing Machinery
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM