Prologプログラミングの学習を支援する構造化トレーサー
スポンサーリンク
概要
- 論文の詳細を見る
Prologプログラミンク初心者において, プログラムを理解するためには, インタプリタの働きを正しく把握しなければならない. しかし, 初心者が通常のトレーサーやデバッガを用いても, インタプリタの働きを理解するのは大変に困難であるため, 我々は, 視覚的な工夫によりインタプリタのグローバルな働きを達成する構造化トレーサーの実現を試みている. 今回は[2]の改良によって明らかになった具体的な仕様を提案する.
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
-
伊丹 誠
東京理科大学
-
伊藤 紘二
東京理科大学基礎工学部電子応用工学科
-
榎本 圭孝
東京理科大学基礎工学部電子応用工学科
-
榎本 圭孝
東京理科大学基礎工学部電子応用工学科 : 富士ゼロックス(株)
-
山崎 茂
東京理科大学基礎工学部
-
伊藤 紘二
東京理科大学
関連論文
- SFN-GFの置局技術の検討 : 3次元空間伝搬解析によるエリア形成評価に関する検討(デジタル放送・デジタル設備,および一般)
- SFN-GFの置局検討 : 複数アンテナを合成したSFN-GFのエリア形成実験(デジタル放送・デジタル設備,および一般)
- 地上デジタルテレビジョン放送のワンセグサービスにおけるスキャッタードパイロットシンボルを共有する協調受信に対する検討 (放送技術)
- プリコーデッドOFDMの繰り返し復調方式におけるシンボル入れ替え方式の検討 (放送技術)
- 畳み込み符号化プリコーデッドOFDMの繰り返し復調方式 (研究速報小特集 2009年 [映像情報メディア学会]年次大会・冬季大会講演)
- 複数チャンネルの伝達関数を連結した伝搬特性解析 : 伝達関数の連結のための遅延プロファイルの整合に関する検討(放送/一般)
- 地上波デジタル放送におけるマルチパスの到来方向推定のための測定と解析(学生若手発表および一般)
- 地上波デジタル放送における複数チャンネルを用いたマルチパス到来時刻推定方式 (放送技術)
- 地上デジタルテレビジョン放送ワンセグサービスの協調受信に関する一検討
- SFN-GFの置局検討 : マルチパスの反射点の推定に関する検討(アンテナ・伝播,デジタル放送技術および一般)
- SFN-GFの置局技術の検討 : 複数のアンテナを組合せた送信エリア形成の検討(デジタル放送受信技術および一般)
- SFN-GFの置局検討 : マルチパス伝搬解析および反射点の推定に関する検討(デジタル放送受信技術および一般)
- SFN-GFの置局技術の検討 : 空間伝搬の理論モデルと測定値の比較評価(デジタル放送・デジタル設備,一般)
- 最適UWB-IRエネルギー検波受信機におけるマルチユーザ接続に関する検討 (ワイドバンドシステム)
- 帯域制限されたDS/CDMA信号およびMC/CDMA信号の上り回線での送信電力効率に関する一検討(マルチキャリヤ伝送、同期技術, 及び一般)
- パルスUWBにおけるOFDMシステムに対するガードインターバルを利用した干渉検出回避技術に関する一検討
- 車車間通信における隠れ端末問題による特性劣化要因の解析と改善方法の検討(ITS通信,一般)
- 地上波デジタル放送における複数チャンネルを用いたマルチパス到来時刻推定方式(デジタル放送技術および一般)
- 地上デジタルテレビジョン放送のワンセグサービスにおけるスキャッタードパイロットシンボルを共有する協調受信に対する検討(デジタル放送技術および一般)
- プリコーデッドOFDMの繰り返し復調方式におけるシンボル入れ替え方式の検討(デジタル放送技術および一般)
- OFDM信号における時間サンプル信号入れ替えおよびレプリカ信号推定を用いたインパルス雑音軽減方式(デジタル放送技術および一般)
- ワンセグメントISDB-Tの協調受信特性の改善(デジタル放送受信技術および一般)
- Oneseg ISDB-Tの協調受信における効率的なCSI伝送方式の検討(デジタル放送受信技術および一般)
- 地上波デジタル放送におけるマルチパス到来方向測定のための到来時刻推定方式 (ワイドバンドシステム)
- B-20-20 気象情報提供のための広域Zigbeeネットワークシステムの開発及び実験(B-20.ユビキタス・センサネットワーク,一般セッション)
- 2次元畳み込み符号の2次元的拘束を考慮した繰り返し復号について
- 2次元畳み込み符号の2次元的拘束を考慮した繰り返し複記号について
- ブロック符号化プリコーデッドOFDMの繰り返し復調に関する検討(デジタル放送受信技術および一般)
- 路車間通信を併用したMCS/DS-SS車車間通信方式に関する検討
- A-17-14 路上に割振られた拡散符号による連接系列を用いた車車間通信測距方式の一検討(A-17.ITS,一般セッション)
- A-17-15 路車間通信の併用による車車間通信の特性改善に関する研究(A-17.ITS,一般セッション)
- DS/SS車車間通信における円周配置アレイアンテナを利用した干渉低減に関する検討(ITS通信,一般)
- A-5-35 CDMA移動通信における基地局アレイアンテナの指向性を利用した干渉低減効果について(A-5.ワイドバンドシステム,一般講演)
- OFDM ICIキャンセラの特性改善に関する一検討(デジタル放送・伝送方式)
- B-5-178 ISDB-Tにおけるキャリヤ間干渉に関する実験(B-5.無線通信システムA(移動通信))
- OFDM移動受信におけるMMSE型ICIキャンセラに関する一検討
- B-5-74 OFDM におけるキャリア間干渉除去の特性改善に関する一検討
- B-5-92 OFDM における MMSE に基づくキャリア間干渉の除去に関する一検討
- OFDMにおけるMMSEに基づくキヤリア間干渉の除去(学生/若手技術者発表会および一般)
- OFDM受信における遅延プロファイルとドップラープロファイルの推定によるキャリヤ間干渉の除去(デジタル放送・伝送方式)
- 高層ビル街におけるマルチパス伝搬の解析--低アンテナ高での水平面到来波測定 (放送技術)
- 地上波デジタル放送におけるマルチパスの到来方向推定のための測定と解析
- エージェントモデルに基づいてUNIXコマンド学習を支援するシステム : コマンド列パーザとタスク指定支援インターフェイス
- コード進行をベースにした作曲支援システムに関する研究 : 回転形を考慮したモーション登録支援
- コード進行をベースにして作曲を支援するシステム
- 無線・光伝送技術
- 複数チャンネルの伝達関数を連結した伝搬特性解析 : 伝達関数の連結のための遅延プロファイルの整合に関する検討
- テキストの表層データに基づいた意味カテゴリーインデクシングの支援について
- プリコーデッドOFDMの反復復調方式の理論解析(デジタル放送受信技術および一般)
- 波形等化技術の原理と最近の動向(波形等化技術)
- D-15-32 問題解決学習支援システムにおける協調学習環境の開発(D-15.教育工学,一般講演)
- 地上波デジタル放送におけるマルチパス到来方向測定のための到来時刻推定方式(符号化,変復調・信号処理技術及び一般)
- 最適UWB-IRエネルギー検波受信機におけるマルチユーザ接続に関する検討(符号化,変復調・信号処理技術及び一般)
- D-15-27 リソースへのアノテーションを利用した知識形成支援システムの改良(D-15.教育工学,一般講演)
- A-14-15 日本語学習支援における音声ピッチ訓練システム(A-14.ヒューマンコミュニケーション基礎,一般講演)
- D-15-28 リソースへのアノテーションを利用した知識形成支援システムにおける検索の高速化(D-15.教育工学,一般講演)
- D-5-3 日本語学習支援環境における音声プロソディの視覚提示システム(D-5.言語理解とコミュニケーション,一般講演)
- D-5-2 日本語学習支援システムにおける作文診断システムの実装(D-5.言語理解とコミュニケーション,一般講演)
- コミュニケーション可能な知識獲得のための問題解決協調学習支援システム
- 表現使用コンテキストを比較参照させる為の例文を提供する日本語表現獲得支援システム
- D-15-15 表現使用の比較参照による日本語学習支援システム(D-15. 教育工学)
- D-15-14 音声読み上げとプロソディ表示を利用して英語表現獲得を支援する学習支援システム(D-15. 教育工学)
- D-15-7 アノテーションによる知識形成の支援(D-15. 教育工学)
- 比較による表現法獲得を支援する第二言語学習支援システムの提案
- オーサリング環境を持つ読み書き能力獲得のための第二言語としての日本語学習環境
- D-15-16 参照情報を保持した読解支援システム
- 学習エピソードの再現による第二言語における読み書き能力の帰納的獲得を支援するシステム
- 高層ビル街におけるマルチパス伝搬の解析 : 低アンテナ高での水平面到来波測定(デジタル放送技術および一般)
- 複数チャンネルを連結した伝搬特性解析に関する検討(アンテナ・伝播,デジタル放送技術および一般)
- NICT地上波デジタル放送テストベッド : GF中継器による受信特性改善の一検討
- NICT地上波デジタル放送テストベッド : 屋内向けギャップフィラー中継器の検討
- ISDB-Tにおけるキャリア間干渉除去の実験
- データ拡散を用いた符号化OFDM方式
- F F T サイズを削減した O F D M ダイバーシティレシーバに関する検討
- データ拡散OFDMにおける送信ダイバーシティに関する一検討(学生/若手技術者発表会および一般)
- 複数チャンネルの伝達関数を連結した伝搬特性解析 : 伝達関数の連結のための遅延プロファイルの整合に関する検討
- UWB-IR通信におけるエネルギー検波受信機の最適化の検討(信号処理,スペクトル拡散,及び一般)
- UWB-IR通信におけるエネルギー検波受信機の最適化の検討(信号処理,スペクトル拡散,及び一般)
- データシンボルの周波数領域での分散によるOFDMの特性改善(ディジタル放送)
- OFDM信号への狭帯域干渉波の影響の軽減法に関する検討
- OFDM信号の等化に関する一検討
- データ変換によるOFDM信号の誤り率特性の改善
- OFDM変調方式における電力制御の一検討
- データ変換によるOFDM信号の誤り率特性の改善
- LMSアダプティブアレーアンテナを用いた車車間通信の特性改善
- LMSアダプティブアレーアンテナを用いた車車間通信の特性改善(通信,交通センシング、通信、情報処理、一般)
- A-5-9 MC-CDMAアドホックネットワーク方式の提案とその評価(A-5. ワイドバンドシステム,一般セッション)
- 周波数選択性フェーディング環境下におけるプリコーデッドOFDMの繰り返し復調方式
- A-5-9 AICを用いたOFDMシステムのための干渉検出に関する一検討(A-5. ワイドバンドシステム,一般セッション)
- アレイアンテナによる空間分割を利用したDS/SS車車間通信に関する一検討(ITSコア技術・ショーケース,一般)
- MB-OFDMにおけるガードインターバル相関を利用したWiMAX信号の検出(符号化,変復調・信号処理技術及び一般)
- A-5-38 セルラMC-CDMAアドホックネットワークの提案とコードセンス-CDMA方式との比較(A-5.ワイドバンドシステム,一般講演)
- A-5-16 誤り訂正符号を組み合わせたプリコーデッドOFDMの繰り返し復号に関する一検討(A-5.ワイドバンドシステム,一般講演)
- A-5-11 直交マルチキャリヤ通信システムにおけるマルチパスドップラモデルに基づくEMアルゴリズムを用いた伝送路推定(A-5.ワイドバンドシステム,一般講演)
- ワンセグ地上ディジタル放送の協調受信に関する一検討
- OFDMシステムにおけるマルチパスドップラモデルに基づくEMアルゴリズムを用いた伝送路推定に関する検討
- MIMO-UWBのRAKE受信におけるパス選択方式の一検討
- A-5-1 クラスAインパルス性雑音環境下でのOFDMの適応変調の一検討(A-5.ワイドバンドシステム,一般講演)
- マルチパス環境におけるOFDM信号へのインパルス雑音の影響の軽減法
- プリコーデッドOFDMの繰り返し復調における伝送路推定の影響に関する検討