国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(1)
1980年代
(1)
1990年代
(5)
2000年代
(7)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(9)
雑誌
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(3)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(13)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 13 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
双方向CTLによるJava最適化器の生成
双方向CTLによるJava最適化器の生成
紙
文書・図像類
Fang, Ling, 佐々, 政孝,
SASSA, MASATAKA
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
2006-11
Research Report
C-230
全国の図書館
著者標目
Fang, Ling 佐々, 政孝
SASSA, MASATAKA
Experience in testing compiler optimizers using comparison checking
Experience in testing compiler optimizers using comparison checking
紙
文書・図像類
佐々, 政孝,
SASSA, MASATAKA
2006-02
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
No. Research Report C-221
全国の図書館
著者標目
佐々, 政孝
SASSA, MASATAKA
Comparison and Evaluation of Back-translation Algorithms for Static Single Assignment Forms
Comparison and Evaluation of Back-translation Algorithms for Static Single Assignment Forms
紙
文書・図像類
佐々, 政孝,
SASSA, MASATAKA
2005-10
Research Report C-214, Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
C-214
全国の図書館
著者標目
佐々, 政孝
SASSA, MASATAKA
Implementations basis of complex data structures
Implementations basis of complex data structures
紙
博士論文
佐々政孝 [著]
<UT51-54-Z44>
国立国会図書館
コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
紙
図書
佐々政孝, 東京工業大学 [著]
[佐々政孝]
2004-2006
<Y151-H16500016>
国立国会図書館
SSA形式に基づく中間言語を用いた最新アーキテクチヤに対するコンパイラの研究
SSA形式に基づく中間言語を用いた最新アーキテクチヤに対するコンパイラの研究
紙
図書
佐々, 政孝, 東京工業大学
1999-2000
<Y151-H11680347>
国立国会図書館
コンパイラの基盤技術と実践 : コンパイラ・インフラストラクチャCOINSを用いて
コンパイラの基盤技術と実践 : コンパイラ・インフラストラクチャCOINSを用いて
紙
図書
中田育男, 渡邊坦, 佐々政孝, 滝本宗宏 著
朝倉書店
2008.6
<M159-J225>
国立国会図書館
全国の図書館
アルゴリズム・アニメーションを特徴とする統合的プログラム言語処理系生成システム
アルゴリズム・アニメーションを特徴とする統合的プログラム言語処理系生成システム
紙
図書
佐々政孝, 東京工業大学
1996-1998
<Y151-H08458065>
国立国会図書館
コンパイラ・インフラストラクチヤを用いた先端ア-キテクチヤ向け最適化の研究
コンパイラ・インフラストラクチヤを用いた先端ア-キテクチヤ向け最適化の研究
紙
図書
佐々, 政孝, 東京工業大学
2001-2002
<Y151-H13680399>
国立国会図書館
属性文法の基づく実用的なコンパイラ生成系のフリーソフトウエアのの開発
属性文法の基づく実用的なコンパイラ生成系のフリーソフトウエアのの開発
紙
図書
佐々, 政孝, 東京工業大学
1993-1995
<Y151-H05558028>
国立国会図書館
プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究
プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究
紙
図書
佐々, 政孝, 東京工業大学
1993-1994
<Y151-H05680269>
国立国会図書館
属性文法モデルによる統合的プログラミング環境の自動生成
属性文法モデルによる統合的プログラミング環境の自動生成
紙
図書
佐々, 政孝, 東京工業大学
1991-1992
<Y151-H03680023>
国立国会図書館
岩波講座ソフトウェア科学 5
岩波講座ソフトウェア科学 5
紙
デジタル
図書
長尾真 [ほか]編
岩波書店
1989.10
<M159-E227>
国立国会図書館
全国の図書館
検索結果は以上です。
書誌情報を一括出力