スプレッド・シートを介した論理型プログラミング
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,論理型プログラミング言語Prologを可視化し,ユーザにとって使いやすいプログラミング環境を提供するVisilog(Visual Logic)を提案している.Prologを可視化するには,Prologのプログラム部分,推論過程部分,実行結果の出力部分の3点をユーザにとって理解しやすく表示する必要がある.我々はスプレッド.シートにPrologを埋め込むことにより上記の3点を表示する方法を実現した.実現されたVisiLogシステムは以下に示すような特徴を持つ(1)Prologでスプレッド・シートシステムを記述した.(2)スプレッド・シート上でPrologプログラムが実行できる.(3)Prologプログラムの変数とスプレッド・シートの項目の間に等値関係が定義できる.(4)スプレッド・シートのセルとセルの間に定義した計算式は代入式と解釈しないで関係式と解釈される.そのため,セルとセルにエントリした計算式の間で双方向計算が可能となる.以上の4点を特徴として持つVisiLogを簡単な応用に適用してその有効性を考察した.
- 一般社団法人情報処理学会の論文
- 1989-06-15
著者
-
田中 譲
北海道大学大学院情報科学研究科
-
渋谷 正弘
北海道工業大学
-
澁谷 正弘
北海道工業大学工学部経営工学科
-
渋谷 正弘
北海道工業大学経営工学科
-
田中 謙
北海道大学知識メディア・ラボラトリー
-
田中 譲
北海道大学
関連論文
- 知識メディアアーキテクチャとウェブリソースの知識連携(知識連携,情報爆発論文)
- 画像特徴量に基づく擬似コードを用いた古文書画像の全文検索--草書体手書き古文書画像に対する全文検索技術
- 4P-4 セマンティックウェブ上の情報可視化フレームワーク(情報可視化,学生セッション,データベースとメディア)
- コンポーネントベースの視覚的なXQuery構築支援環境(XMLデータベース,テーマ : 文書のセマンティックスとメタデータの活用およびその他)
- 遺伝子発現情報に基づくデータの集約化と視覚化
- 図形特徴に基づく手書き古文書画像の全文検索手法(画像・映像処理)
- 3次元分散共有仮想空間を媒介とする3次元マルチメディアデータの交換・流通環境
- 知識メディアアーキテクチャとウェブリソースの知識連携
- 部品のあいまいな位置に関する検索
- あいまいな部品の位置情報による検索
- IntelligentPad における部分構造検索
- IntelligentPadにおける部分構造検索と高速化
- IntelligentPad における演劇機能の実現
- IntelligentPadにおける演劇機能の実現
- 2ZB-4 衝突検出エージェントを用いた仮想入力デバイス構築フレイムワーク(サイバースペース,一般講演,インタフェース)
- 1W-9 カット・アンド・ペーストによるオブジェクト動作の編集環境と動作部品の階層化
- 3次元グラフィックスアプリケーション開発における動作の部品化とその実行制御機構
- IntelligentBoxによる対話的な3次元仮想空間の構築
- 記号による記述を用いた身体モデルの動作制御
- 3Dソフトウェア構築システムIntelligentBoxによる手間をかけないCGアニメーション作成
- IntelligentBoxにおけるコンピュータアニメーション作成環境について(遊び・エンタテインメントとメディア)
- 対話型3Dソフトウェア構築システム : IntelligentBox ( 情報の可視化)
- 3次元オブジェクト機能合成システムにおける視野管理のための機能部品の導入
- 3次元オブジェクト機能合成システムにおける制約の導入と機能拡張
- 3次元メディアオブジェクトの合成とスクリプト定義
- 3次元オブジェクトの機能合成システム(lntelligentBox)におけるオブジェクト間の制約について
- 機能オブジェクトの3次元化とその機能合成について : IntelligentPadの3次元化
- マルチポート・ページメモリをキャッシュとして用いた高性能ディスク・サブシステムのアーキテクチャと処理性能
- マルチポートページメモリを階層的に用いたディスクキャッシュのキャッシュ動作と処理性能
- 情報メディアの立場から情報の編集、流通、管理のメディア技術
- ビデオ画像に対する一連処理のステージパッドによるコーディネーション
- シンセティックメディアにおけるビデオの部品化とその応用
- 脳における遺伝情報の可視化に基づく知識統合・発見に向けたアプローチ (日本の遺伝学の潮流--日本遺伝学会第78回大会ハイライト) -- (ワークショップ 脳・神経系の進化遺伝学)
- 4S-2 癌臨床治験の統合支援のためのインタラクティブな情報検索フレームワーク(マルチメディア,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3次元分散共有仮想空間を媒介とする3次元マルチメディアデータの交換・流通環境
- 習慣的な動画閲覧行動の再利用による動画閲覧経験の拡張
- 3次元仮想空間における空間のコンポーネント化の実現
- 5Q-4 3次元仮想空間中での複数空間に対するアクセス支援機能の導入
- 3次元仮想空間における作業空間の複合化と展覧機能の導入
- 共起依存度を用いた語彙連鎖に基づく連想的情報断片探索手法 (人工知能基礎論研究会(第53回)特集「シナリオ創発の科学へ向けて」および一般演題) -- (セッション(2)知識発見と情報視覚化)
- Meme Media for Clipping and Combining Web Resources
- オフィス情報処理におけるフォームフローシステム (情報の記憶と利用に関する理論的研究)
- 特別講演 : メディア情報の処理とCV
- メディア情報の処理とCV
- 混合フラクタルモデルに基づく画像特徴量とその画像検索応用における性能評価
- 混合フラクタルモデルに基づく画像特徴量の提案と画像検索応用における有効性の評価
- 被写体の種類によって自然風景画像を分類するための画像特徴量
- 自然風景画像中のテクスチャを分類するための特徴抽出法(情報工学専攻創立20周年記念号)
- 単相回路を高速な多相方式ディジタル回路に変換する最適化するアルゴリズム
- 多相方式ディジタル回路におけるラッチ数の最小化
- 多相クロックを用いた高速ディジタル回路の機能設計アルゴリズム
- 多相クロックを用いたディジタル回路の設計
- メタデータの管理に基づくビデオデータベースの構成(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- 2R-7 トピカモデルにおけるユーザアクセス経路を利用した関連文書の検索(Web検索,学生セッション,データベースとメディア)
- カラービデオ映像における自動索引付け法と物体探索法
- ビデオ作品の場面変わりの自動検出法
- IntelligentPadを用いたプログラムのグラフィック・トレーサの実現
- 2Q-4 PostgreSQLとIntelligentBoxを用いた入退室データの可視化(可視化・Web情報統合,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 2Q-1 Object-Oriented Graphical-Template Composition Framework for Information Visualization
- 北大に知識メディア・ラボラトリー
- Prologプログラムの編集および実行過程の視覚化 : シンセティックメディアにおけるアプローチ
- Concurrent IntelligentPad
- 部品の抽象仕様記述を用いた類似部品検索の実現
- ハイパームービのアーキテクチャとその応用
- メガトレンドから考えてみる
- 情報メディア研究会をめぐって : 随想
- PROLOGのHyperCardインタフェース
- スプレッド・シートを介した論理型プログラミング
- シンセティックメディアにおけるソフトウェア部品の開発
- IntelligentPadにおける部品の抽象的仕様記述と開発への応用 (新しいシステムソフトウェア)
- 部分評価に基づくPrologとデータベースの結合(モデル表現とその構築に関する理論と実際の研究)
- ミームメディア・アーキテクチャとデータベースの可視化・具現化フレームワーク
- アンテナ等設計開発に適した対話的仮想実験環境
- 構造モジュール : 型合成のための言語機構
- Web文書の直接編集による複数アプリケーション間の連携と情報探索シナリオの多重化(コンテンツ技術,Web情報システム)
- 知識メディア技術の研究開発と技術移転・事業化の事例(事例紹介,産学連携)
- 直感的インターフェースとミームメディア技術(五感と情報,F17 情報・知能・精密機器部門企画)
- データベース・レコードの仮想実体化フレームワーク(:ビジュアルデータベース)
- トランスメディアシステムによる英文テキスト画像処理
- シンセティック・メディアシステム:IntelligentPad
- ジオメトリ管理機能の部品化
- シンセティック・メディア・システム IntelligentPad における協調作業場の実現
- IntelligentPadにおける協調作業場の実現
- IntelligentPadの機構
- Concurrent IntelligentPadとアクティブ・パッドの応用
- ビデオ画像中対象物のダイナミックマーク
- DBレコードの多重ファセット情報に基づく三次元情報アクセス空間の構築(データベース)
- 5T-8 ユーザ定義表現に基づくデータベース検索結果の3次元視覚化フレームワーク
- 関係データベースモデルに基づくデータベース可視化フレームワークの提案と実装(コンピュータグラフィックス)
- 先端研究拠点事業 知識メディア技術を用いた学術情報の知識の高度な連携・活用・流通に関する拠点形成
- 1. ユビキタス知識環境と知識メディア : 知識メディアを基盤とする次世代ITの研究(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 知財の編集・流通・管理のためのメディアアーキテクチャを目指して(AIマップ)
- コンポーネントによるフォームフローシステムの部品化とボトムアップなシステム構築
- ミームメディア・アーキテクチャとデータベースの可視化・具現化フレイムワーク
- ミームメディア技術の展開と知財アクセス空間 (ディジタルメディアの現状と将来 : 新しい研究分野を切り拓くディジタルメディア)
- プログラミング実習のためのツールキットシステムを用いたマイクロワールド
- Transmedia:文書画像の全文検索のための知識メディア技術(歴史知識学)
- 知識メディア技術を用いたプロアクティブ環境フレームワーク(周囲環境)
- 3M-4 文書画像に対する新しい圧縮技法の提案
- 1Q-6 文字画像の図形的特徴を利用した文書画像全文検索エンジン