スポンサーリンク
北海道大学情報基盤センター | 論文
- ルールの逐次蓄積を支援するETプログラミング学習ツール
- ルール型言語ETによるプログラミング演習の実践と評価
- 等価変換型プログラミング言語ETの導入による学習の構想
- 計算モデルと正当性関係
- 等価変換言語処理系ETI用いた否定を含む問題の解法
- Webベースの自由学習支援システムの構築方法
- プログラムの部品としての等価変換ルール
- 等価変換プログラミング言語ETとそのコンパイラ
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
- 目的関数の加法分解性および差分の符号独立性に基づく実数値遺伝的アルゴリズムのリンケージ同定
- 非線形多次元データ解析への計算機統計的アプローチ
- 片方向遅延を用いた適応的経路制御手法の実装と評価(トラフィック解析・制御,モバイルネットワーク,ユビキタスネットワーク及び一般)
- M-070 片方向遅延を用いたトラフィックエンジニアリングアルゴリズムの適応性評価(M分野:ユビキタス・モバイルコンピューティング)
- 法的推論システムにおける時刻と確信度の表現と推論
- プログラム変換による知識処理
- 情報倫理ビデオ教材のプレポストテストによる評価(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 考えさせる情報倫理教育ビデオとその評価(サービス管理,ビジネス管理,料金管理,及び一般)
- 考えさせる情報倫理教育ビデオとその評価(サービス管理・ビジネス管理,料金管理,及び一般)
- 大学生向け情報倫理ビデオ教材の作成と効果