型付きオブジェクト指向計算における型推論の型導出可能性について
スポンサーリンク
概要
- 論文の詳細を見る
近代的な型システムとオブジェクト指向パラダイムとを型理論の見地から統合する場合,継承やカプセル化などのメカニズムを形式的に表現する必要がある.この形式化のための枠組として提案されているのが,サブタイピングを導入した高階多相的ラムダ計算F^w_<≤>である.しかし,F^w_<≤>の性質等についてはまだあまり解明されていない.そこで本論文では,このF^w_<≤>における型導出可能性という問題について検討し,例を用いることで,この問題が決定不能であることを示す.
- 一般社団法人情報処理学会の論文
- 1995-09-20
著者
関連論文
- ふくそう状態をもつ移動体通信システムの信頼性
- 誤り回復機能をもつ移動体通信システムの信頼性 (ITSとモバイルコンピューティング)
- A-9-2 移動体環境における誤り回復機能をもつシステムの信頼性
- COMP2000-24 マルチホップパケット無線ネットワーク上のブロードキャストの確率アルゴリズム
- フレーム表現における類似性の判定
- GAによるグラフ表現の類似性の判定
- フレーム表現における類似性の判定について
- D-8-17 動的な環境下におけるマルチエージェントシステムの協調プロトコルに関する研究
- D-8-12 π-計算を用いたエージェントシステムの形式化に関する研究
- D-8-2 MDP環境下におけるEI/ER学習法の提案
- カオスニューラルネットによる周期パターン検索の高速化
- 作図機能を備えた幾何論証におけるCAIのシステム構成について
- ファジィ理論を用いた筆者識別
- 環境的エージェントモデルとその処理系
- 単方向フォトメトリックフローフィールド法の誤差解析
- イルミネーションプラニングによるNNベース照度差ステレオ
- 神経回路による音声信号の正規化と教師なし学習
- 点光源の微小変位を利用した照度差ステレオ法の誤差解析
- 点光源の微小変位を利用した照度差 ステレオ法による光沢のある物体の形状再構成
- 層状ニューラルネットワークの注視領域の抽出
- 照明方向の変化による濃淡画像の微分情報からの3次元物体の形状再構成
- マルチメディア教材を用いた幼児教育の実践報告
- シングルホップ無線ネットワーク上の省電力初期化アルゴリズム
- ワイヤレスセンサーネットワーク上の省電力初期化アルゴリズム
- マルチホップパケット無線ネットワーク上のブロードキャストの確率アルゴリズム
- ECOCにおける事後確率の推定誤差の上界
- エラー訂正符号を用いたパターン識別器の統合法
- 符号化された教師信号を用いたパターン認識器の統合法
- 内部記憶を持つニューラルネットワークによる時系列情報の取得
- 睡眠期間を持つ神経回路による追加学習と素子数削減
- RBFネットワークにおける再学習を必要としない中間細胞併合法
- RBFネットワークにおける再学習を必要としない中間細胞併合法
- 事前知識を用いたセンサ情報の選択的統合とその高速正則化法
- RBFネットワークにおける出力関数変動最小化に基づく中間細胞併合法
- D-6-6 命令の実行時刻予測情報を利用した最適化コンパイラ手法
- 画像教材データベースの情報検索に使われる印象語に関する考察
- 美術教材データベースの感性情報としての印象語間・相補の定量的関係 : ファジィ情報検索における感性情報のキーワードの取扱いについて
- 美術教材データベースの感性情報としての印象語間の類似・相補の定量的関係- ファジィ情報探索における感性情報のキーワードの取扱いについて -
- 情報検索のキーワードとしての印象語間の類似および補完の関係に関する考察
- 制御依存制約を排除したプログラム表現形式と細粒度並列計算機のためのオブジェクトコード最適化
- ベイズ推定を用いた異種センサ情報の評価と統合
- 多価関数を実現する人工神経回路による異種センサ情報の統合
- 異種センサ情報の統合による自律ロボットの学習
- 異種センサ情報の統合による自律ロボットの学習
- エージェントモデルEAMMOとその記述言語に関する一考察
- ニューラルネットワークを用いた物体の曲率符合抽出の一手法
- ランドマークの考慮に基づく歩行者ナビゲーション
- 音による運動知覚と随従眼球運動との関係
- 音による運動知覚と眼球運動の関係 : 情報ディスプレイ視聴覚技術画像通信システム(視覚と画質特集)
- 実験的計測に基づく印象語間の類義語関係の定量的研究
- インターネットによる美術教材データベースのサービスを目的とする感性情報処理
- 印象語シソーラスにおけるファジィな類義語関係の定量的検証 : ファジィ・シソーラスの理論的基礎の確立をめざして
- 美術教材データベースのためのキーワード用ファジィ・シソーラス
- コンピュータ支援による試行錯誤型学習のためのファジィ論的方略
- 教育支援用ニューラルネットシミュレータの開発
- ファジイ推論による試行錯誤型学習の CAL モデル
- 映像資料データベースのためのデータ蓄積・検索のファジィ論的方法
- 神経回路網における微分処理と非線形処理の性質
- バイナリ・メソッドのための型付きオブジェクト計算
- 型付きオブジェクト指向計算における型推論の型導出可能性について
- 順序ソート付き項書換え系のカリー化に関する一考察
- ラフ集合理論による分類に関する研究
- グラフィカルなモデル記述によるプロトタイピング支援システムの開発
- 演習でのタッチタイピング練習の効果
- ハングル文字生成のアルゴリズムとそのコード化
- 感性情報を考慮したファジー手書き文字学習システム
- D-4-3 情報検索システムにおける検索結果の提示順決定手法
- D-2-19 RBFネットワークにおける再学習を必要としない中間細胞併合法
- D-2-17 神経回路の短期記憶と睡眠学習による高速適応能力を損なわない冗長素子削減法
- D-2-10 異種センサ情報統合による教師なし学習
- 再学習の必要のない追加学習法と計算量の削減
- 複数センサ情報の適応的選択と統合
- 高速適応能力と情報集約能力を有する神経回路モデル
- A-9-1 3つのスキームを用いた二重化システムの最適チェックポイント数
- 相互結合型神経回路による線形制約付き最適化問題の解法
- 高速適応能力と情報集約能力を有する神経回路モデル
- A-9-2 シグネチャによる誤り検出のための最適チェックポイント間隔
- 通信時間を削減するためのタスク複製の手法
- 通信時間を削減するためのタスク複製の手法
- 通信時間を削減するためのタスク複製の手法
- EAMMO記述処理系によるサッカーエージェントの設計
- 神経回路による速い学習と遅い学習および睡眠学習を組み合わせた素子数削減法
- マルチエージェントシステムにおけるエージェントの協調行動に関する一考察
- 通信時間を削減するためのタスク複製の手法の提案
- スケジューリング時におけるレジスタ不足の解消方式に関する研究
- 冗長化による誤り検出のための最適チェックポイント間隔
- 追加学習を行うGRBFとその事例ベースへの応用
- 神経回路による異種センサ情報の統合学習 : 矛盾情報の学習と認識
- 2重化による誤り検出のための最適チェックポイント間隔
- スケジューリング時におけるレジスタ不足の解消方式に関する研究
- 関数空間上におけるノルムを用いた干渉量の定義と追加学習
- 潜在フォールトに対する一般化されたファイル回復機構評価モデルに関する考察
- カオスニューラルネットによる周期パターンの検索
- GRBFによる干渉を受けるパターンの想起と追加学習 : 事例ベース推論への適用
- 古文書コピーによるファイル回復機構の近似方策
- 速い学習と遅い学習を用いた中間細胞数削減法
- ホップフィールド型ニューラルネットワークを使用した最小の素子数による最短路問題の解法
- 関数空間上におけるノルムを用いた干渉量の定義と追加学習
- 速い学習と遅い学習との組み合わせによる中間細胞削減法
- 関数空間上におけるノルムを用いた干渉量の定義と追加学習