POPL2002/PEPM2002/PADL2002報告(<特集>プログラミング及びプログラミング言語)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2002-05-15
著者
-
小林 直樹
東京大学大学院理学系研究科
-
小林 直樹
東北大学大学院情報科学研究科
-
小林 直樹
北海道日建設計
-
小林 直樹
東京工業大学情報理工学研究科
-
内山 雄司
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
脇田 建
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
内山 雄司
東京工業大学大学院情報理工学研究科
-
脇田 建
東京工業大学
-
小林 直樹
東京工業大学地球惑星科学科
関連論文
- 彩色意図にもとづく色覚障害者のための再配色システム(セッション2:インタラクションデザイン:理論と実践(2))
- 木星型惑星の構造と形成
- シューメイカー・レビー彗星と木星との衝突シミュレーション(シューメーカー=レビー第9彗星の木星衝突)
- 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
- JVMにおけるロックの整合性検証のための新しい型システム
- 属性文法に基づくテストプログラム生成器の設計と実装
- 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
- POPL/PEPM'99会議報告
- POPL/PEPM'99会議報告
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- AFMセンサのための圧電薄膜の形成
- P228 T型ラインマイクロホンのノイズ減殺効果
- P369 T型ラインマイクロホンを用いた微気圧振動の観測
- T型ラインマイクロホンを用いた微気圧振動の観測(序報)
- 地球のささやきを聞く--常時地球自由振動の発見
- 41052 住宅内室温分布の要因分析とその評価方法に関する研究 : その1 暖房期における住宅内室温分布推定法の提案(住宅の暖房負荷,環境工学II)
- 41053 住宅内室温分布の要因分析とその評価方法に関する研究 : その2 累積確率を用いた暖房期の室温分布と暖房負荷の評価(住宅の暖房負荷,環境工学II)
- 41054 住宅内室温分布の要因分析とその評価方法に関する研究 : その3 標準住宅モデルを用いた室温分布と空調負荷のシミュレーション(住宅の暖房負荷,環境工学II)
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- ポインタのあるプログラミング言語のための資源使用法解析
- D-041 大規模社会ネットワークからのクラスタ構造の抽出(D分野:データベース)
- 常時自由震動:大気と固体地球のカップリングの重要性
- システムXEROにおける高水準データ定義/操作言語
- 並行プログラミング言語へのチャネル使用法宣言の導入
- 042 住宅の室温分布と熱負荷の評価方法に関する研究 : その2 室温分布と空調負荷のシミュレーション(熱・暖冷房,講演研究論文、計画・技術報告)
- 一級継続の並行言語への導入
- 041 住宅の室温分布と熱負荷の評価方法に関する研究 : その1 累積確立を用いた室温分布と熱負荷の評価法(熱・暖冷房,講演研究論文、計画・技術報告)
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- メモリ管理の性能評価基盤
- 051 住宅室内温度の標準偏差と暖房期・冷房期における空調用エネルギー消費量の関係(熱環境・エネルギー,講演研究論文・計画技術報告)
- 検証済み型推論器生成のためのCoqライブラリ
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- アセンブリ言語上でのプログラム特化
- 骨組み構造物の振動伝達を抑制する最適設計
- 10-217 東京工業大学におけるOCWの活用(口頭発表論文,オーガナイズドセッション「オープンコースウエアとその活用」-I)
- O-011 大規模スパムフィルタと実験環境の構築手法の提案(O分野:情報システム)
- 並列言語の高レベルなデータの通信における型を利用した最適化について
- 並列オブジェクト指向言語への安全な継承の導入について
- OOPSLA '89に参加して
- 木星の内部構造と彗星の衝突
- An Empirical Analysis of the Information Content of the Announcements of Impaired Assets in Japan
- 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
- 41083 住宅の断熱気密性能と暖房期・冷房期における空調用エネルギー消費量の関係(環境工学II,住宅のエネルギー消費)
- 低レベル言語のための情報流解析の型システム(プログラミングおよびプログラミング言語)
- 870 化学物質のエストロゲン活性に及ぼす代謝活性化の影響(環境工学,資源・エネルギー工学,一般講演)
- 酵母法による環境ホルモンの測定
- ポスト壁キャビティ付きスロット八木・宇田アレーを用いた平面マルチセクタアンテナ
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
- インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- 型エラースライシングによるデッドロックの原因特定
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- バッファ溢れ攻撃とその防御(コンピュータセキュリティシリーズ(1))
- メモリ管理機能のモジュラーかつ効率的な実装手法
- ウィルスをはじめとする悪性ソフトウエア
- ウィルスをはじめとする悪性ソフトウエア
- Java, C#の次に来るのは?(インタラクティブ・エッセイ)
- 属性文法に対するデバッガ
- 循環属性文法に基づく生成系Junについて
- 属性文法に対するデバッグ方式の構想
- 木属性文法とGUI生成系を利用したデバッガの作成
- B-1-159 キャビティ壁をスルーホールで構成したプリントスロット八木・宇田アレーアンテナ
- 特集「プログラミング及びプログラミング言語」の編集にあたって(プログラミング及びプログラミング言語)
- 大気海洋の窓としての固体地球--固体地球常時自由振動 (総特集 海半球観測研究の進展)
- 異機種分散環境上でのDcamlバイトコードコンパイラの設計と実現
- 異機種分散環境上でのDcamlネイティブコンパイラの設計と実現
- 異機種分散環境上のアプリケーション開発環境Dcamlシステムの構想
- 並行言語Harmony/2とその一級継続機構
- コラム : 育児休暇を終えて
- 木星自由振動と木星内部構造
- 東日本大震災 危機発生時の対応について考える:9.危機に試されるスマートフォンのアプリケーション
- 並行言語Harmony/2とその一級継続機構
- データベース指向OS XEROのデータベースシステム実現モデル
- データベース処理を指向した分散OS XEROの永続オブジェクト管理
- 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
- プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価
- 低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送
- 高速実行可能な低レベル命令セット仮想計算機の設計
- リージョン推論に基づくメモリ管理の下でのガーベジコレクション
- 彗星衝突による木星振動の励起(「木星に衝突する彗星 : シューメイカー・レビー9」)
- Constraint Satisfaction in Logic Programming, Paseal Van Hentenryck, The MIT Press, 1989 (制約論理プログラミング)
- 並行トランザクション機構の実装
- SELENE-2における月広帯域地震観測
- S22-08P ペネトレータを使った月内部構造探査(一般ポスターセッション2,ポスター発表)
- S22-09 ペネトレータ地震計ネットワークによる月震観測(口頭セッション22:惑星探査,口頭発表)
- S13-12 アポロ月震計データで見る月のクレーター生成率不均質(口頭セッション13:月科学,口頭発表)
- 207 火星の常時自由振動(火星と水星の科学,オーラルセッション5)
- 306 惑星物質試料受け入れ設備(キュレーション設備)の状況 : はやぶさ試料受け入れ運用リハーサルへ向けての準備(オーラルセッション9 固体天体の科学・惑星探査I)
- P208 アポロ月震データの再解析 : バンドパスフィルタ処理によるイベント検出の試み(ポスターセッション2)
- P205 月面重力計を用いたUnlocated Deep Moonquakeの震源決定(ポスターセッション2)
- 116 月震計データから見た月面クレータ生成率不均質(オーラルセッション3 月I)
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- Actorモデルにもとづいた非同期並列プログラミング言語ActGPUのコンパイラの実装とその評価
- 解析表現文法とSchemeマクロ展開器を用いたJavaScript向けHygienic構文マクロシステムの実装
- E-6 住宅の温熱性能評価に関する研究 : その1 累積確率を用いた室温分布と暖房負荷の評価
- E-7 住宅の温熱性能評価に関する研究 : その2 住宅の室温分布と空調負荷のシミュレーション
- G-67 住宅内温度分布に関する全国調査 : その4 室内外温度差が空調用エネルギー消費量に与える影響