特集「日本のソフトウェアの草創期」の編集にあたって
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1983-03-15
著者
-
徳田 雄洋
東京工業大学理学部情報科学科
-
河田 汎
富士通
-
川合 慧
東京大学大学院総合文化研究科
-
徳田 雄洋
山梨大 工
-
徳田 雄洋
山梨大学計算機科学科
-
疋田 輝雄
東京都立大学理学部
-
徳田 雄洋
山梨大学工学部計算機科学科
-
川合 慧
東京大学
-
疋田 輝雄
東京都立大学理学部数学科
-
河合 慧
東京大学大学院総合文化研究科
関連論文
- 新規節点で固定深さの探索を行うdf-pnの拡張
- コンパイラ自動生成系によるAda構文検査系作成 (プログラミング言語 : PascalとAda)
- Webアプリケーションの静的意味検査法
- パイプ/フィルタアーキテクチャに基づくWebアプリケーション生成系PF-Webの設計と実装
- 属性値予測による1パス属性文法の評価法
- 勝率に基づく評価関数の評価と最適化(評価関数,ゲームプログラミング)
- 駒の関係を利用した将棋の評価関数の学習(評価関数,ゲームプログラミング)
- 将棋におけるProbCutの静止探索への応用(Session 1)
- 倉庫番における部分マップの組合せに基づく手詰り判定手法
- 効率的な詰将棋探索のための評価関数(セッション(1) : ゲーム情報学(1))
- 述語論理で表された特徴関数のネットワーク型局面評価器への自動変換
- ゲームプログラムのためのパターン型評価関数の自動生成法(ゲームプログラミング)
- 関係代数を用いたfeature中の論理式の効率的評価方法
- 箱入娘及び$L^6$ : 解法と記述言語 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- 入力列の上限付き個数情報を用いる構文解析法
- 箱詰めパズルのプログラムについて (計算機によるパズル・ゲームの研究)
- 先行提示と理解度の実験による研究
- 図形オブジェクトの遠隔度に基づく階層集合の可視化モデル
- 電子文書の長期保管のための枠組 : POT
- オンライン電子文書の長期保管のための枠組 (『1999年情報学シンポジウム』プログラム--WWW情報検索・電子図書館・セキュリティ・著作権・マルチメディア情報流通・感性情報処理) -- (セッション7:情報管理技術)
- 教育・ソフトウェア・ネットワーク
- 一般化パス拘束による図の生成
- 対話型グラフィックスの形式的取扱いについて
- コンピュータシステムにおけるユーザインタフェース技術(マン・マシンシステム)
- 一般的な情報の視覚化モデル
- Path Coherency in Ray Tracing
- 30. 英文綴り検査法 (アルゴリズムの最近の動向)
- ALGOL 68とその処理系(2)
- シリアルラインによるコンピュータ間通信
- 特集「プログラミング言語 Prolog」の編集にあたって
- 局所伝播法と方程式解法に基づく制約充足法
- 制約プログラミング言語Constraint Pascal
- 経路方式によるアルゴリズムアニメーション
- 高信頼マルチキャストのためのテーブル依存制御アルゴリズム
- 循環属性文法に基づく生成系Junについて
- 電子メイルを日本国内で容易に送受できる環境を実現し,研究者の意見交換を高速大量化する方法について
- PV 操作について
- 特集「日本のソフトウェアの草創期」の編集にあたって
- 大特集「オフィスオートメーション」の編集にあたって
- 基本ソフトウェア開発ツールの実状(ソフトウェアツール 2 : 製造・評価・保守)
- 69-8 翻訳処理記述システム
- 大特集「アルゴリズムの最近の動向」の編集にあたって
- 83-3 日本の第5世代計算機プロジェクト
- 2. プログラミング言語に関する一般的参考文献 (プログラミング言語の最近の動向)
- 大特集「プログラミング言語の最近の動向」の編集にあたって
- Ada実現に関する問題点について : ACMコンパイラ作成会議より
- 新しいLL(k)パーサとその最小化問題の計算
- 77-20 プログラム言語の規格を形式的に定義する手法の現況
- 76-36 可変長命令方式による計算機デザイン
- 76-32 2レベルと3レベルの主記憶構成の比較
- 76-21 HOS : アポロ計画に部分的に用いられたソフトウェア仕様・検証システム
- Lewis-Stearnsアルゴリズムに基づくLL(k)パ-サの誤り検出の遅れについて(技術談話室)
- 75-35 階層構造システムの設計に透明性の概念を用いることについて
- セマンティックWebの悲観論と楽観論(セマンティックWebと計算機科学)
- 変更容易なソフトウエア構成のためのアーキテクチャの選択法
- 通信型時間属性文法の形式的定義
- 上昇型先読み計算による文脈自由言語の構文解析法
- 構造エディタ生成系
- 属性文法を効率的な動作ルーチンへ変換する方法について (プログラム合成/変換)
- 言語処理系の構成法
- 25. 分散型アルゴリズムの基礎 (アルゴリズムの最近の動向)
- 遅延つき関数の完全性 (多値論理およびその応用)
- 東日本大震災 危機発生時の対応について考える:14.放射線量測定・放射性物質拡散シミュレーション(独,仏,日本)
- 東日本大震災 危機発生時の対応について考える:11.地方自治体の危機対応と情報技術
- 東日本大震災 危機発生時の対応について考える:0.編集にあたって
- 連載開始にあたって(これからの情報処理学会)
- 連載開始にあたって(研究会千夜一夜)
- 情報処理学会誌に求められるもの
- コンピュータグラフィックスにおける標準化とその動向 (コンピュータグラフィックス)
- 蜂の巣バケツで水を汲む(プログラム・プロムナード)
- 小特集「プログラミング言語 : PascalとAda」の編集にあたって
- コンビネータによる言語処理系
- 19. 再帰呼出しの実現法 (アルゴリズムの最近の動向)
- Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)
- Pascal総説 (プログラミング言語 : PascalとAda)
- On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)
- Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)
- ディジタルトモグラフィ(プログラム・プロムナード)
- 伝統的基礎学問(情報技術と教育)
- I.E.Sutherland : Sketchpad : A Man-Machine Graphical Communication System(20世紀の名著名論)
- 教育とインタフェース(情報技術の新時代に向けて)
- E.W.ダイクストラ 著, 浦 昭二, 土居範久, 原田賢一 訳, サイエンスライブラリ, 情報電算機-42, "プログラミング原論", サイエンス社, A5判, 252p., \3,300, 1983
- 5. ALGOL60/ALGOL68 (プログラミング言語の最近の動向)
- Pascalとそれ以降の言語設計 (プログラミング言語 : PascalとAda)
- ALGOL 68とその処理系(1)
- はめこみパズルのプログラム : TetrihexとTetraについて (計算機によるゲーム・パズルの具体化の検討)