大特集「アルゴリズムの最近の動向」の編集にあたって
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1983-04-15
著者
-
徳田 雄洋
東京工業大学理学部情報科学科
-
片山 卓也
東京工業大学情報理工学研究科計算工学専攻
-
片山 卓也
東京工業大学
-
川合 慧
東京大学理学部
-
徳田 雄洋
山梨大 工
-
鈴木 泰次
日本電気基本ソフトウェア開発本部
-
徳田 雄洋
山梨大学工学部計算機科学科
-
河合 慧
東京大学大学院総合文化研究科
関連論文
- 新規節点で固定深さの探索を行うdf-pnの拡張
- コンパイラ自動生成系によるAda構文検査系作成 (プログラミング言語 : PascalとAda)
- ソフトウェア設計プロセス構成法の一提案
- 出力指向の段階的詳細化による設計法
- 人工衛星チェックアウト・システムの基本設計プロセスのプロセス・モデルHFSPによる記述とその評価
- ソフトウェアプロセスの分析と評価(その2)
- ソフトウェア・プロセスを利用した教育用ツールの開発(その2)
- 第4回ソフトウェアプロセスワークショップ
- 属性文法 : 構造指向的かつ関数的計算モデル
- ソフトウェア基礎研究体制の充実を
- 第13回ACM POPL出席報告
- On the Description of the Communication Protocol HDLC in cHFP
- 並行処理のための関数型計算モデルconcurrent HFP
- 属性文法による在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- コンパイラ生成のための意味付け構文図とその評価
- Lorel-2実行システムの構成とそのファームウェア化の効果
- Lorel-2言語について
- 分割アルゴリズムに基づく同型グラフの検索について
- リスト構造に対する整合機能の形式化
- リンク手法による多変数関数の極値探索
- 画像構造線の大域的性質に関する計算機実験とその考察 (パターン情報処理)
- 正規集合の構造母関数の特性化
- 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)
- 質の高い学会活動を
- 非手続き型言語におけるデータ構造 (データ構造)
- 属性文法型計算モデル (非手続き型プログラミングのための計算モデル)
- J.D.Ullman 著, "Fundamental Concepts of Programming Systems", Addison-Wesley Pub. Co., B5判, 328ぺージ, \5,900, 1975
- 構造指向型システムのための実行可能な仕様記述言語
- シリアルラインによるコンピュータ間通信
- オブジェクト指向属性文法OOAGの高速な処理系の設計と実現
- 局所伝播法と方程式解法に基づく制約充足法
- 制約プログラミング言語Constraint Pascal
- 自然言語処理を目的とした属性文法評価システム
- 双方向性階層的関数型プログラミングBi-HFPとその構文解析への応用
- 論理関係処理言語LOREL-1
- 文脈自由形言語における記号列の数え上げ
- 決定性プッシュダウン変換器の等価性判定について
- LORELデータの言語理論的クラスについて
- 経路方式によるアルゴリズムアニメーション
- 高信頼マルチキャストのためのテーブル依存制御アルゴリズム
- 循環属性文法に基づく生成系Junについて
- 電子メイルを日本国内で容易に送受できる環境を実現し,研究者の意見交換を高速大量化する方法について
- PV 操作について
- 特集「日本のソフトウェアの草創期」の編集にあたって
- 大特集「オフィスオートメーション」の編集にあたって
- 大特集「アルゴリズムの最近の動向」の編集にあたって
- 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.編集にあたって
- 再帰的属性評価器における領域割り当てアルゴリズム
- 変化を伴うオブジェクトを記述できるオブジェクトロジック
- 仮想記憶を利用したシステムファイル (記憶階層)
- NEAC システム 300/400 ACOS-4 のジョブ制御について
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- 5. ALGOL60/ALGOL68 (プログラミング言語の最近の動向)
- Pascalとそれ以降の言語設計 (プログラミング言語 : PascalとAda)
- ALGOL 68とその処理系(1)
- はめこみパズルのプログラム : TetrihexとTetraについて (計算機によるゲーム・パズルの具体化の検討)