OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
スポンサーリンク
概要
著者
-
小林 隆志
名古屋大学大学院情報科学研究科
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
京大
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
小林 隆志
沼津工業高等専門学校機械工学科
-
阿草 清滋
京大(現名大)
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
阿草 清滋
名古屋大学
-
阿草 清滋
名古屋大学工学部電気工学第二
-
阿草 清滋
名古屋大学情報科学研究科
関連論文
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- BoFセッション「クラウドって正直どう?」実施報告(BoFセッション)
- ガスケットの非石綿化とシーリング技術の動向
- Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
- Recognizability of Redexes for Higher-Order Rewrite Systems
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (特集 ソフトウェア工学)
- 講義講演シーン検索におけるレーザポインタ情報の活用法(コンテンツ技術,データ工学論文)
- RFIDを用いた学会参加者ネットワーク表示システムとその利用
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- C-7 可溶化Na^+/K^+-ATPase分子の構造と特性 : XIII. オリゴマー構造変化とTl^+結合親和性の変化の相関を測定する試み(一般口演,第24回杏林医学会総会)
- D-22 可溶化Na^+/K^+-ATPase分子の構造と特性XII. : 全領域pHにおける四次構造変化のNa^+とK^+依存性(一般口演,第23回杏林医学会総会)
- D-27 可溶化Na^+/K^+-ATPase分子の構造と特性 : XI. pHに依存した四次構造変化(一般口演,第22回杏林医学会総会)
- D-26 可溶化Na^+/K^+-ATPase分子の構造と特性 : X. ATPによる会合体形成(一般口演,第22回杏林医学会総会)
- A-13 可溶化Na^+/K^+-ATPase分子の構造と特性 : IX.界面活性剤による解離と生理的意義(一般口演,第21回杏林医学会総会)
- B-17 可溶化Na^+/K^+-ATPase分子の構造と特性 : VIII. 解離・会合平衡の確認(第20回杏林医学会総会)
- ソフトウェア科学会第2回大会
- D-5 膜タンパク質精製へのイオン交換クロマトグラフィーの適用(I)(一般口演,第26回杏林医学会総会)
- データマイニング技術を応用したソフトウェア構築・保守支援の研究動向
- 音声情報を統合したプレゼンテーションコンテンツ検索(情報検索,データ工学論文)
- ユースケース記述に対するフレームワーク利用法の導出(アーキテクチャ・フレームワーク(学生セッション))
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- アクセスログに基づくWebページ推薦におけるLCSの利用とその解析(情報融合)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用,夏のデータベースワークショップDBWS 2006)
- WebアクセスログのLCSを用いたWebページの推薦手法(履歴応用)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 第6回アジア太平洋ソフトウェア工学国際会議(APSEC'99)報告
- ベイジアンネットワークを用いたソフトウェア実装技術の選択支援
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- ファイル検索におけるアクセスログから抽出した関連度の利用(夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索におけるアクセスログから抽出した関連度の利用(情報抽出,夏のデータベースワークショップ2007(データ工学,一般))
- ファイル検索に向けたアクセスログからのファイル間関連度の導出
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning,夏のデータベースワークショップDBWS 2006)
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング(e-Learning)
- 講演シーン検索における検索語出現状況に基づくレーザーポインタ情報のフィルタリング
- 講義・講演シーン検索におけるスライドおよび音声中の検索語出現状況に基づくレーザーポインタ情報のフィルタリング (夏のデータベースワークショップDBWS 2006)
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
- バリエーション並行開発のための版管理ツールと統合開発環境
- C-1 可溶化Na^+/K^+-ATPaseのNa^+とK^+に依存したオリゴマー構造変換(一般口演,第34回杏林医学会総会)
- C-5 膜蛋白質標品の蛋白質濃度測定の正確さ(一般口演,第29回杏林医学会総会)
- C-23 可溶化Na^+/K^+-ATPaseの構造変化に対するアニオンの効果(一般口演,第28回杏林医学会総会)
- C-1 Na^+とK^+によって誘導されるNa^+/K^+-ATPase分子のオリゴマー構造変化(一般口演,第27回杏林医学会総会)
- OXTHAS : Webサービスベースのワークフロー管理における障害を考慮した負荷分散手法(データ工学研究専門委員会推薦論文,コンテンツ技術,Web情報システム)
- 5ZK-9 キーワード非含有ファイルを検索可能とするファイル間関連度を用いた検索手法(情報爆発時代におけるマルチメディアデータと位置依存情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ,夏のデータベースワークショップDBWS 2006)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ(クエリ)
- 多様な観点からのビューを提供する順序型付き多重連想コンテナ
- Webサービスベースのワークフロー管理における信頼性と負荷を考慮したスケジューリングパラメタ調整法
- 柔軟なコンテンツ管理のためのルール処理への弁別ネットワークの適用
- 生活習慣によってもたらされる酸化ストレス定量化に関する検討
- C-7 可溶化Na^+/K^+-ATPase分子の構造と特性 XIV. 外部螢光プローブで検出した構造変化のpH依存性(一般口演,第25回杏林医学会総会)
- 可溶化Na^+/K^+-ATPaseのpH依存性オリゴマー構造変化
- ウインターワークショップ2009・イン・宮崎 開催報告
- PVP 2007/CREEP8出席報告
- ASME PVP 2006/ICPVT-11 Conference に出席して
- ベイジアンネットワークを用いた実装プラットフォームの選択支援
- 第15回アジア太平洋ソフトウェア工学国際会議(APSEC 2008)参加報告
- 機械工学科演習室のシンクライアントシステム移行 と設計教育での活用法
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- 2010 ASME Pressure Vessels and Piping Conference に出席して
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- 2011 ASME Pressure Vessels and Piping Conference に出席して
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A Session Type System with Subject Reduction
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル