77-04 簡単な数式処理言語FORMAL による部分分数展開プログラム
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1977-11-15
著者
関連論文
- 業務アプリケーション開発へのUML Profile for EDOCの適用法の提案
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによるソフトウェア要求分析過程とWWW上に構築するその支援環境
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 新しい要求仕様のあり方
- 77-04 簡単な数式処理言語FORMAL による部分分数展開プログラム
- 76-15 有向グラフの二進木による表現
- 76-01 LISPのM式をS式に変換するSNOBOL4プログラム
- ユーザモデルを用いたオンラインヘルプのメッセージ生成
- 計算機言語文法書からの知識獲得
- 「顧客満足」時代の情報システムSFA
- 業務フロー図とオブジェクト指向分析・設計(パネル)
- ユーザの意思決定をフィードバックする意思決定支援システム
- 目的に沿った手続きの流れを考慮したインタフェースの研究
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- 達成感を考慮した初心者ユーザを動機づけるヒューマンインタフェース
- ユーザの心理に重点を置いたインタフェースに関する研究
- モデルの適応によるオフィス情報システムの構築
- クラス階層を導入した論理プログラムミング言語のための否定
- 入出力例と説明文を生成するリスト処理プログラム理解支援システム
- 入出力例から既存のプログラムを組み合わせてプログラムを合成する一手法
- 自動化を考慮したループ結合によるプログラム変換システムの作成
- Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)
- 数式処理技術を活用した中学数学教育支援システム(数式処理と数学研究への応用)
- オブジェクト指向技術とその応用論文特集の発行にあたって : ソフトウェア工学とデータ工学の立場から
- 特集「エディタ」の編集にあたって
- An Implementation of the Formula Manipulation Package in Common Lisp
- Abductiveモデルによる診断システムにおけるコストと危険度を考慮した質問生成法