7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
スポンサーリンク
概要
- 論文の詳細を見る
- 公益社団法人日本工学教育協会の論文
- 2012-08-22
著者
-
山際 基
東洋大学総合情報学部
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
大場 善次郎
国立大学法人東京大学大学院工学系研究科
-
大場 善次郎
東洋大学総合情報学部総合情報学科
-
尾崎 晴男
東洋大学総合情報学部総合情報学科
-
椿 光太郎
東洋大学総合情報学部総合情報学科
-
大蒔 和仁
東洋大学総合情報学部総合情報学科
-
安達 由洋
東洋大学総合情報学部総合情報学科
-
山際 基
東洋大学総合情報学部総合情報学科
-
椿 光太郎
東洋大学総合情報学部
関連論文
- WebDiskを用いたMeta Gridの評価(セッション5:分散コンピューティング)
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- Constructive Solid Geometryと遺伝的プログラミングによる2次元人工劣化画像の再構成
- 第3回研究会 第2部 講演 産学連続化による人材育成 (地域金融機関IT研究会 平成20年度研究テーマ 地域金融機関におけるシステム部門の人材育成)
- ボルツマンマシンによる超音波3次元画像の再構成
- 遺伝的アルゴリズムを用いた超音波イメージからの物体再構成
- A-11-9 CSG を用いた GA による超音波イメージからの画像再構成
- D-2-40 ボルツマンマシンを用いたミリ波による電波映像の復元
- ボルツマンマシンによるミリ波劣化画像からの原画再生 (「非線形信号処理」特集号)
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 北海道大学工学研究科における高度情報技術者教育の実践例
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- Constructive Solid Geometryと型付き遺伝的プログラミングによる超音波劣化画像の再構成
- 交遊対談 大場善次郎 東京大学教授 VS 岡部洋一 東京大学教授 学生が学ぶ意欲を失わないために工学教育の可視化が必要だ
- 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
- M-013 太陽光発電による旧型PCのグリッドの提案(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- J-014 能動的情報収集を目的とした対話終了判断に有効な特徴量の分析(J分野:ヒューマンコミュニケーション&インタラクション,一般論文)
- J-046 能動的情報収集を目的とした対話終了判断に有効な特徴量の分析(ヒューマンコミュニケーション&インタラクション,一般論文)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
- 言語システムのためのユ-ザインタ-フェ-ス生成システム (電子計算機相互運用デ-タベ-スシステム)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 精密ソフトウェア工学のすすめ
- 大規模LANの稼働実態とその解析
- 3耐故障直交RAIDの提案と大規模仮想ディスクにおける構成法
- 8-219 高度情報技術者育成のための大学院教育(第3報) : 産学協同の教育の評価方法((19)産学連携教育-II)
- 8-218 高度情報技術者育成のための大学院教育(第2報) : 学外環境での学習((19)産学連携教育-II)
- 8-217 高度情報技術者育成のための大学院教育(第1報) : 産学による講義・演習の連携((19)産学連携教育-II)
- 明日への試み 東洋大学総合情報学部 情報システムを先導する人材を
- 「工学知の構造化と可視化」の試み--工学教育に向けて
- LOTOSに基づくプロトコルの形式記述 (電子計算機相互運用デ-タベ-スシステム)
- 形式仕様記述言語LOTOSの試用経験
- 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
- 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
- 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
- プロセス論理演算子をもつプロセス代数
- 特集「ソフトウェア工学の基礎」の編集にあたって ( ソフトウェア工学の基礎)
- センサーネットワークとクラウドの効率的な連携方法の提案(ディペンダブルコンピューティングシステム及び一般)
- センサーネットワークとクラウドの効率的な連携方法の提案(ディペンダブルコンピューティングシステム及び一般)
- 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
- 7-330 地域密着型の産学連携による技術者育成講座の現状と課題2011((17)産学連携教育-II,口頭発表)
- ソフトウェア作成技術
- 80-08 述語変換子のいくつかの性質
- 高度IT人材育成に関する韓国視察報告 (ぺた語義(第26回))
- 「事業に活きる我が国発の標準化」特集号について
- 「事業に活きる標準化の力」特集号について
- 3-106 産学連携による学生の実践力向上に向けた教育プログラムの現状と課題((17)産学連携教育-I)
- H-048 イベント相関イメージングを用いた微粒子粒径測定(H分野:画像認識・メディア理解,一般論文)