産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
スポンサーリンク
概要
著者
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学理工学研究科
-
筧 捷彦
早稲田大学情報学科
-
筧 捷彦
立教大学理学部数学科
-
阿草 清滋
京大
-
掛下 哲郎
佐賀大学
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
京大(現名大)
-
阿草 清滋
名古屋大学工学部電気工学第二
-
阿草 清滋
名古屋大学情報科学研究科
関連論文
- 1. 情報専門学科カリキュラム標準J07について(情報専門学科カリキュラム標準J07)
- 編集にあたって(情報専門学科カリキュラム標準J07)
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- Recognizability of Redexes for Higher-Order Rewrite Systems
- 「WCC98に参加して/IFIP TC : この1年」
- パネル討論会 : Adaとどうつきあうか : 昭和56年後期第23回全国大会報告
- 1.情報科学教育の重要性と情報処理学会の活動(未来のコンピュータ好きを育てる)
- 編集にあたって(未来のコンピュータ好きを育てる)
- 4ZG-8 初等幾何学教育のための作図ソフトウェア「HiZy」(教科学習,学生セッション,コンピュータと人間社会)
- 1Q-3 ウェブサイトを構築するための関数型ビジュアルプログラミング言語「ゆば」(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 1Q-2 日本語プログラミング言語によるプログラムの記述(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- A-030 ウェブサイトを構築するための関数型ビジュアルプログラミング言語「ゆば」(A分野:モデル・アルゴリズム・プログラミング)
- 9.高度IT人材育成フォーラム(ITフォーラムへの誘い)
- 本格段階に入ったJABEE認定制度の普及と活用 : 情報技術教育を中心とした促進策について(JABEE普及啓発シンポジウム(経済産業省委託事業))(会議レポート)
- 1800時間(情報技術と教育)
- 大学構内モバイル環境実現における履歴収集機能拡張
- 4X-3 大学構内におけるモバイル環境実現の経験とその評価(学校・教室システム,一般講演,コンピュータと人間社会)
- 1ZA-7 マルチリンガルエディタにおける検索機能の設計(2) : 検索機能の実現(UI開発支援,一般講演,インタフェース)
- 1ZA-6 マルチリンガルエディタにおける検索機能の設計(1) : 基本要件の抽出と発展型の提案(UI開発支援,一般講演,インタフェース)
- 国際化Web Browserの設計
- 国際化テキスト入力機構モデルの構築
- 国際化Webブラウジングの検討
- 米田信夫先生を悼む
- プログラマブルテキストコンバータ
- Definition of the Mongolian Character Codesets Enabling Multilingual Text Manipulation
- 国際化Web Browserの設計
- 「アクレディテーション」
- プログラミング言語の新潮流
- 情報処理専門教育カリキュラムとアクレディテーション
- Tonyu : アクションゲーム製作に特化した開発環境
- 5.Ada-9X : 大規模ソフトウェア向きの手続き型言語 (<特集>プログラミング言語最新情報-II)
- RA-009 日本語プログラミング言語における字句解析(モデル・アルゴリズム・プログラミング,査読付き論文)
- 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
- ACM国際大学対抗プログラミングコンテスト世界大会報告
- RA-003 日本語らしい日本語プログラムを書くために(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
- 8 大学における情報教育J07(変わりつつある情報教育)
- IFIP近況報告 : 情報処理国際連合(委員会から)
- 情報および情報関連分野の分野別要件
- TC2(Software : Theory and Practice) : ソフトウエアの理論と実際
- 最近の Ada の動向 (Adaの応用と評価)
- Adaの待ち合わせの標準形について(同期の数理)
- ALGOL N について : (VI) Standard decla Fations (つづき)
- ALGOL N について : (VI) Standard declarations (つづき)
- 日-韓機械翻訳における連語パターンを用いた変換手法
- 語の連接関係を利用した未知語の形態素辞書情報の獲得手法
- 不完全情報を含む日本語解析システムについて
- 構文解析に基づく辞書情報推定に関する研究
- ソフトウェア科学と数理論理学
- proGrep-プログラミング学習履歴検索システム
- proGrep-プログラミング学習履歴検索システム
- プログラミングの入門に適した,支援システムとコースデザイン
- A-031 オブジェクト指向プログラミングにおけるオブジェクトの自動可視化 : Nigariへの実装を例として(A.モデル・アルゴリズム・プログラミング)
- プログラミング環境Nigari : 初学者がJavaを習うまでの案内役
- Nigari-Java言語へも移行しやすい初学者向けプログラミング言語
- 「つながり」を利用した検索語からの同義語の抽出
- D-8-19 エージェントを用いた自動情報配信システムの設計
- 5W-10 WebをコーパスとしたSetExpansionの改善(言語情報抽出,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 日本学術会議と「情報学」の新展開
- P区間表とそのプログラミング教育における効果
- 日本語で一貫したプログラミングの実践〜プロデルを用いて〜
- 自然言語処理による新しい日本語組版をめざして
- 日本語プログラミング言語における関数の多重定義解決の実装と評価
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- 廣瀬健先生を偲ぶ(学会記事)
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- HTMLをもちいた定理の自動証明システムの実現
- 未踏ユースから育ったタレントたち【PART 2 プロジェクトマネージャからも一言】:3.未踏ユースから育ったタレントたち
- 教育方法への取組みに向けて-勉強会を始めませんか-
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- ご存知でしたか? (ぺた語義(第1回))
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- ぺた語義 JABEEを通じた大学教育の質的保証(後編)ソウル協定と情報分野の分野別要件
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- 教育方法への取組みに向けて : 勉強会を始めませんか(情報教育,一般)
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- 学会の機能
- ネットワークと学会
- 廣瀬健先生を偲ぶ
- 超並列計算機への期待 (超並列処理)
- 島内剛一先生を悼む
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- 日本語プログラミング言語「プロデル」における動的型の解決方式の改良
- RF-003 性別による言葉遣いの違いを考慮したブロガーの年齢推定手法の提案(知識処理,F分野:人工知能・ゲーム)
- 9-215 情報システム企画・開発の実践的な擬似プロジェクトベース教育(OS プロジェクトマネジメントとPBL-IV,口頭発表)
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A-013 形態素解析エンジンを利用した日本語プログラミング言語Wowrusの開発(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)
- RA-002 日本語プログラミング言語によるプログラムの可読性の評価(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)
- A Session Type System with Subject Reduction
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- 情報教育と情報入試:0.編集にあたって
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル