母関数を用いたプログラム変換
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1998-03-17
著者
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
辰己 丈夫
早稲田大学メディアネットワークセンター
-
川本 史生
早稲田大学大学院理工学研究科
-
辰己 丈夫
早稲田大学理工学総合研究センター
-
辰己 丈夫
早稲田大学
関連論文
- 発達障害児・者へのパニック対応学習支援システムの開発I : パニック・リフレクションモデルの開発と可能性(自主シンポジウム18,日本特殊教育学会第47回大会シンポジウム報告)
- 自閉症児のパニック行動に対する情報技術による支援
- 児童生徒の操作履歴を基に自動採点を行う試験システムの開発
- D-15-25 類似検索技術を応用した学術論文情報配信システム
- Definition of the Mongolian Character Codesets Enabling Multilingual Text Manipulation
- 情報教育の音楽化による高校生へのプログラミング入門
- 「情報B」の教科書比較 : 「手順的な自動処理」の観点から
- ACM SIGUCCS Fall 2005 Conference参加報告 : 北米における大学ITインフラ支援の状況(会場A)
- ACM SIGUCCS Fall 2005 Conference参加報告
- 情報倫理教育の国際比較
- 放送大学における情報教育
- 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
- 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
- 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報倫理教育-シングルセッション,インターネットと情報倫理教育,一般)
- BS-11-5 大学の情報セキュリティ強化と情報倫理ビデオ(BS-11.進化するキャンパス情報システムとセキュリティ対策・情報倫理教育,シンポジウムセッション)
- 情報倫理ビデオの製作と大学の情報セキュリティへの応用(セキュリティ,サービス管理,ビジネス管理,料金管理,及び一般)
- 情報倫理ビデオの製作と大学の情報セキュリティへの応用(セキュリティ,サービス管理,ビジネス管理,料金管理,及び一般)
- 「計算過程の部分評価」再び
- 累積変数を用いるリスト処理関数とその融合法
- Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 木再帰プログラムからの再帰還元(一般発表)
- 再帰除去のごみ回避効果
- ある種の木再帰プログラムからの再帰除去
- 高機能自閉症児のための絵記号コミュニケーション学習支援の実践(障害者教育・特別支援教育)
- 自閉症者の学習を支援するPDA用汎用ソフトウェアの開発と評価
- 情報科教育法における情報倫理とモラル(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
- 情報科教育法における情報倫理とモラル(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
- 情報科教育法における情報倫理とモラル(インターネットと情報倫理教育-シングルセッション,インターネットと情報倫理教育,一般)
- 情報科教育法の知識体系
- 情報科教員の卵を育てる 情報科教育法で教師としての責任感を
- 教科「情報」における情報フルーエンシーとその実践
- AP-1-2 大学等における情報セキュリティポリシーの教育・普及・研修について(AP-1. リスクマネジメント中心の情報セキュリティ,パネルセッション,ソサイエティ企画)
- 情報倫理ビデオ教材の開発指針 : 使いやすい授業素材と学習者の自主学習に向けて
- 英語授業におけるコンピュータ・リテラシの付随的獲得
- 情報科教員養成における情報倫理とモラルの取扱
- Moodleを利用した論文査読システムの試み
- 情報倫理ビデオ教材のプレポストテストによる評価(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 考えさせる情報倫理教育ビデオとその評価(サービス管理,ビジネス管理,料金管理,及び一般)
- 考えさせる情報倫理教育ビデオとその評価(サービス管理・ビジネス管理,料金管理,及び一般)
- 大学生向け情報倫理ビデオ教材の作成と効果
- ラベル付き連結グラフ高速ランダム生成のための構成比近似法
- 教科「情報」における車型ロボットの利用
- 情報フルーエンシーを意識した大学の一般情報教育のカリキュラム提案
- 「教育用プログラミング言語に関するワークショップ2006」の報告
- ドリトルと「情報教育の音楽化」
- 対面での応答を重視した英語学習活動と発話収録装置の試作と試用
- リテラシとしてのプロジェクト管理
- 学習履歴の双対性再考 : 英語語彙学習履歴のマイニングに向けて
- 学習履歴の双対性 : 学習履歴を活用したe-learning高度化の数理的基礎を目指して
- 「情報教育」の情報化
- 新しい「情報倫理」の目指すもの (人文科学とコンピュータ)
- 情報倫理教育と学生の実状
- 初等中等教育における情報倫理教育のあり方について
- 単純指標を持つ乱順列の高速生成法
- ソフトウェア性能評価のためのランダムデータ高速生成法 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- ソフトウェア性能評価のためのランダムデータ高速生成法
- 単純指標を持つ乱順列の高速生成法
- 再帰除去の効果
- 整列法評価のためのランダム順列生成法
- 線形再帰プログラムからの再帰除去法
- 整列法評価のためのランダム順列の生成
- プログラム変換における数式処理の役割
- 20世紀の名著名論 : John McCarthy : Recursive Functions of Symbolic Expressions and Their Computations by Machine
- 単一後継関数を持つ再帰プログラムからの再帰除去
- LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
- LA-13 連結グラフの高速ランダム生成法(A. アルゴリズム・基礎)
- 再帰プログラム部分計算のための停止性判定法
- 葉数最適整列法LOASの実用化方式
- 数式処理系を利用したプログラム変換 (プログラム変換と記号・数式処理)
- 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
- 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
- 3K-5 一般部分計算(GPC)の実験システムの実装
- O(m+n)時間及びスペースのランダムグラフ生成法
- 線形再帰プログラムからの再帰除去法の実現とその問題点(一般発表)
- 連結グラフのランダム生成のための構成比直接計算法
- オブジェクトを用いた計算モデルとその2次元トレーサへの応用
- 線形再帰プログラムからの再帰除去法の実現
- 母関数を用いたプログラム変換
- P区間表 : 区間に関するプログラム作成問題のためのデータ構造
- P区間表とそのプログラミング教育における効果
- 葉数最適整列法LOASとその実現法
- 葉数適応整列法LOASの最適性
- 論理体系CLCを用いた定理証朋支援システムにおけるアラー分解方法の提案
- ランダムデータジェネレータジェネレータ(RDGG)の開発
- 適応整列法の評価
- HTMLをもちいた定理の自動証明システムの実現
- ランダムデータサーバの開発
- 線形再帰プログラムからの再帰除去とその実際的効果
- 連結グラフのランダム生成法について
- アルゴリズム工学ワークショップ(WAE '97)報告
- 葉数最適整列法LOASの実現法
- 5X-8 情報教育のためのソフトウエア環境への要件 : 情報危機管理教育をめざして
- 3L-3 WWWで利用できる計算次数測定システム
- 実験的手法による計算量の測定
- ランダムデータサーバーを用いた計算時間の推定と検定
- 教育現場における情報通信倫理教育
- 教育改革とインターネットによる情報発信
- 論理体系CLCを用いた定理証明支援システムにおけるアラー変数代入方法の提案
- Linear Logicと島内剛一のProver CLC
- 大学生の情報倫理にかかわる判断と行動