関数型言語の計算モデル
スポンサーリンク
概要
著者
関連論文
-
3Z-3 つぶつぶ表現 : カテゴリデータ分析のための視覚的表現手法(CGと可視化,学生セッション,インタフェース)
-
2Y-7 赤外線方式タッチパネルにおける接触面積を利用した押し込み操作の基礎検討(入出力インタフェース,学生セッション,インタフェース)
-
2Y-6 Rough Selecting : 直接指示とボタン入力を組み合わせたアイコン選択手法(入出力インタフェース,学生セッション,インタフェース)
-
動画共有非同期コミュニケーションにおける一体感を向上させるインタフェース(セッション2)
-
データフロー図に基づくリアルタイム映像合成システム(セッション1)
-
4ZF-5 色彩的印象のコンテクストとしての取得手法の開発(情報システムとインタラクション,学生セッション,コンピュータと人間社会)
-
5ZE-7 Webカレンダーと予定調整サービスの統合 : 柔軟な予定調整機能の実現に向けて(会議支援,学生セッション,インターフェース)
-
2ZE-1 大規模二部グラフにおける球状三次元アンカーマップの描画とインタラクティブな閲覧手法(CG:可視化,学生セッション,インターフェース)
-
4ZD-8 携帯電話上でコンテキスト依存プログラムを記述するためのビジュアルプログラミング環境(視覚化とUI設計,学生セッション,インターフェース)
-
ORCA:実行トレースと画面変化の対応を可視化することによるGUIプログラム理解支援システム
-
動画共有非同期コミュニケーションにおける一体感を向上させるインタフェース(セッション2)
-
データフロー図に基づくリアルタイム映像合成システム(セッション1)
-
2ZD-8 レーザポインタストロークを利用する大画面向けインタラクション手法(動作認識・大画面,学生セッション,インターフェース)
-
2ZD-6 プロジェクションフォン向けの画像認識を用いたインタラクション手法(動作認識・大画面,学生セッション,インターフェース)
-
3ZD-8 ユビキタス時代における人と鏡とのインタラクション(日常と感性,学生セッション,インターフェース)
-
2ZD-7 測域センサを用いた大画面操作インタラクション(動作認識・大画面,学生セッション,インターフェース)
-
2ZD-3 ハンドジェスチャによる範囲選択手法を使った撮影システム(動作認識・大画面,学生セッション,インターフェース)
-
プログラミング言語の新潮流
-
ペンの影を重畳表示するプレゼンテーションツールにおける影のデザイン
-
メンバーへのメッセージ送信機能を有する電子行方表
-
マルチタッチを利用した携帯情報端末用日本語入力方式とその評価
-
作用型項書換え系に基づく関数論理言語の設計と実装
-
コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
-
コンビネータ項書換え系にもとづく関数・論理融合型言語の設計
-
遅延ナローイングによる正規化手続きの実現
-
1ZF-3 タッチパネル面におけるスポイト操作の認識の実現(ペンとタッチ,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
1ZJ-1 円筒型マルチタッチインタフェースにおける片手3Dポインティング手法の評価(VRとセンサ・ディスプレイ,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
1ZF-5 マルチタッチを利用した携帯端末用日本語入力方式(ペンとタッチ,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
数式処理プロセッサ
-
OVF (Over Flow) Free Computing (数値計算のアルゴリズムとコンピュ-タ-)
-
ハッシング・プロセッサ
-
遅延ナローイング抽象機械
-
3ZB-5 Account Reporter : マネーフローコンテキストを用いた購買情報のプッシュ型提示システム(ユビキタス応用(1),学生セッション,ネットワーク,情報処理学会創立50周年記念)
-
1ZH-6 粘土と針金による工作を模した三次元モデリング・インタフェース(モデリングとレンダリング,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
4ZG-2 過去の状況への気づきを支援するライブカメラ映像提示手法(協調基盤と意思決定支援,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
4ZG-1 問いかけに基づく日常活動のアウェアネス支援システムとその評価(協調基盤と意思決定支援,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
1ZG-2 伝言タグを用いて入退室時に行う伝言コミュニケーション(コミュニケーション支援,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
1ZF-4 発表者の手元の操作を聴衆に伝えるプレゼンテーションツール(ペンとタッチ,学生セッション,インタフェース,情報処理学会創立50周年記念)
-
3F-4 ウェアラブルコンピューティングにおける情報提示様式の評価(センシングシステム(1),一般セッション,ネットワーク,情報処理学会創立50周年記念)
-
遅延ナローイング計算系と分散制約解消系の融合
-
遅延ナローイング計算系と制約解消系の融合
-
制約解消系を備えた関数・論理型言語の処理系とその実装
-
制約・関数・論理型言語のための抽象機械の設計
-
特集「インタラクティブソフトウェア」の編集にあたって ( インタラクティブソフトウェア)
-
特集「インタラクティブソフトウェア」の編集にあたって ( インタラクティブソフトウェア)
-
特集「ソフトウェア工学の基礎」の編集にあたって (ソフトウェア工学の基礎)
-
関数型プログラミング特集の編集にあたって (関数型プログラミング)
-
Fall Joint Computer Conference
-
関数型言語の計算モデル
-
関数型言語FEL
-
マルチパラダイム言語処理系MCによるプログラム開発
-
特集「記号処理と計算機アーキテクチャ」の編集にあたって
-
20世紀の名著名論 : Daniel P. Friedman and David S. Wise : CONS Should not Evaluate Its Arguments, Automata, Languages and Programming: Third International Colloquium, edited by S. Michaelson and R. Milner, pp.257-284, 1976
-
等式解決のためのコーディネーションシステム
-
教育の情報化と情報リテラシー
-
Deterministic and Non-deterministic Lazy Conditional Narrowing and their Implementations
-
条件付き項書換え系の健全性と完全性
-
意味ラベリングによる分配消去法 : 項書換え系の停止性証明法
-
条件付き項書換え系における階層合流性のモジュラ性
-
ソフトウェア科学の国際化
-
逐次正規化戦略アルゴリズム
-
関数論理融合型プログラム高速化手法
-
遅延ナローイング導出列の標準化
-
関数・論理型言語のためのナローイング計算系
-
リスト処理とアーキテクチャ (記号処理と計算機アーキテクチャ)
-
遅延ナローイング抽象機械のシミュレータ
-
遅延ナローイング抽象機械のアーキテクチャ
-
遅延ナローイング計算系に基づく言語Evとその処理系
-
家計簿の自動記録のための使用金額認識システム
-
輪型入力装置を用いたハンドジェスチャの認識
-
遅延ナローイングに基づく言語Evの等式翻訳方法
-
画面外におけるスタイラスの動作を用いた入力インタフェース
-
わくこん:3Dモデリングのためのわく型入力装置
-
AiR surface : 拡張現実上の平面を用いたインタフェース
-
遅延ナローイング計算系 : 閉包による定式化
-
GPUを利用したライブ映像パフォーマンス向け映像合成システム
-
等式付き書換え系における多ソート不変性
-
MC/LISP処理系の翻訳系の構成
-
LISP/MCコンパイラの型推論
-
オーストリアのRISCにおける研究と文化
-
軌跡に基づいたundo/redoインタフェース
-
携帯情報端末のタッチパネルにおけるアイズフリーな片手文字入力システム
-
背面に触感を付与した携帯情報端末におけるタッチ精度の評価
-
背面に触感を付与した携帯情報端末におけるタッチ精度の評価
-
背面に触感を付与した携帯情報端末におけるタッチ精度の評価
-
今後の「コンピュータソフトウェア」
-
ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (関数型プログラミング)
-
Introduction to Logic Programming, Christopher John Hogger, Academic Press, 1984.
-
LISPマシンのアーキテクチャ (<小特集>Lispの最近の動向)
-
84-16 推論的プログラミングへの第一歩
-
10. ハッシュ法 (アルゴリズムの最近の動向)
-
姿勢ログの解析インタフェース
もっと見る
閉じる
スポンサーリンク