05月14日(Wed) 09:00~10:40 O会場(-ひめぎんホール 3F会議室ロビー他)
題目 | 1G2-2in ダイバージェンス最小化原理を利用した線形分類器のロバスト分散学習 |
---|---|
著者 |
小宮山 純平(東京大学大学院情報理工学系研究科数理情報学専攻) 大岩 秀和(東京大学情報理工学系研究科数理情報学専攻) 中川 裕志(東京大学情報基盤センター) |
論文 | PDFファイル |
題目 | 1I2-3in ソーシャルメディアの情報統合によるエキスパート検索エンジンに関する研究 |
---|---|
著者 |
大澤 昇平(東京大学工学系研究科技術経営戦略学専攻) 松尾 豊(東京大学工学系研究科技術経営戦略学専攻) |
論文 | PDFファイル |
題目 | 1M2-5in マルチエージェントシミュレーションのマルチコア実行環境上でのエージェントコード最適化フレームワークの提案 |
---|---|
著者 |
佐野 義仁(静岡大学大学院情報学研究科情報学専攻,静岡大学情報学部情報科学科) 福田 直樹(静岡大学大学院情報学研究科) |
論文 | PDFファイル |
題目 | 1M3-4in 全身動作と手指動作を統合表示可能なモーションナビゲータⅡの構築 |
---|---|
著者 |
佐藤 優太(和歌山大学大学院システム工学研究科) 廣田 一樹(和歌山大学大学院システム工学研究科) 曽我 真人(和歌山大学) 瀧 寛和(和歌山大学) |
論文 | PDFファイル |
題目 | 2E1-4in Leap Motionを用いたジェスチャ操作による文字入力方法の提案 |
---|---|
著者 |
細野 敬太(岡山大学工学部情報工学科) 笹倉 万里子(岡山大学大学院自然科学研究科) 田邊 浩亨(アイピーシステム株式会社) 川上 武志(アイピーシステム株式会社) |
論文 | PDFファイル |
題目 | 2E3-4in RDFを用いた名刺情報の構造化による人脈マネジメントシステムの提案 |
---|---|
著者 |
井上 林太郎(関西大学総合情報学部総合情報学科) 松下 光範(関西大学総合情報学部) 笹嶋 宗彦(株式会社ワイエムピー・ムンダス/大阪大学) 高岡 良行(株式会社ワイエムピー・ムンダス) |
論文 | PDFファイル |
題目 | 2H1-3in メタヒューリティクスによる強化学習のパラメータの最適化 |
---|---|
著者 |
安政 駿(筑波大学院 図書館情報メディア研究科 図書館情報メディア専攻) 手塚 太郎(筑波大学 図書館情報メディア系) |
論文 | PDFファイル |
題目 | 2M3-1in グループ推薦のため非線形行列分解 |
---|---|
著者 |
吉川 友也(奈良先端科学技術大学院大学 情報科学研究科 情報科学専攻) 岩田 具治(日本電信電話株式会社 NTTコミュニケーション科学基礎研究所) 澤田 宏(日本電信電話(株) NTTコミュニケーション科学基礎研究所) |
論文 | PDFファイル |
題目 | 3D4-2in Wikipedia記事情報に基づく歴史学習問題の自動生成手法 |
---|---|
著者 |
田村 吉宏(成蹊大学理工学部情報科学科) 山内 崇資(成蹊大学大学院理工学研究科) 林 佑樹(成蹊大学理工学部情報科学科) 中野 有紀子(成蹊大学理工学部情報科学科) |
論文 | PDFファイル |
題目 | 3E3-1in 眼球ロボットにより視線を提示するスクリーンの開発 |
---|---|
著者 |
岡島 知也(大阪大学工学部応用理工学科) 田中 一晶(大阪大学大学院工学研究科 知能・機能創成工学専攻,独立行政法人科学技術振興機構,CREST) 中西 英之(大阪大学大学院工学研究科 知能・機能創成工学専攻) |
論文 | PDFファイル |
題目 | 3E3-3in デバイスの身体性と操作者の存在感が接触感覚のリアリティに与える影響 |
---|---|
著者 |
山口 隆浩(大阪大学大学院工学研究科 知能・機能創成工学専攻) 田中 一晶(大阪大学大学院工学研究科 知能・機能創成工学専攻,独立行政法人科学技術振興機構,CREST) 中西 英之(大阪大学大学院工学研究科 知能・機能創成工学専攻) |
論文 | PDFファイル |
題目 | 3E3-4in PopArm:ビデオ会議を拡張する遠隔指差しロボットアームの開発 |
---|---|
著者 |
大西 裕也(大阪大学大学院工学研究科 知能・機能創成工学専攻) 田中 一晶(大阪大学大学院工学研究科 知能・機能創成工学専攻,独立行政法人科学技術振興機構,CREST) 中西 英之(大阪大学大学院工学研究科 知能・機能創成工学専攻) |
論文 | PDFファイル |
題目 | 3E3-5in RicketyBench:がたつきで人の気配を再現するベンチの開発 |
---|---|
著者 |
加藤 良治(大阪大学工学研究科 知能・機能創成工学専攻) 田中 一晶(大阪大学大学院工学研究科 知能・機能創成工学専攻,独立行政法人科学技術振興機構,CREST) 中西 英之(大阪大学大学院工学研究科 知能・機能創成工学専攻) |
論文 | PDFファイル |
題目 | 3F4-4in 少数の正解ラベルを用いた移動履歴からの移動手段判定 |
---|---|
著者 |
数原 良彦(日本電信電話株式会社 NTTサービスエボリューション研究所) 鈴木 雅大(北海道大学 大学院情報科学研究科 複合情報学専攻) 戸田 浩之() 鷲崎 誠司(日本電信電話株式会社 NTTサービスエボリューション研究所) |
論文 | PDFファイル |
題目 | 3J3-3in 関連尺度に基づいた負の相関ルール抽出手法の高機能化 |
---|---|
著者 |
黒岩 健歩(山梨大学工学部コンピュータ・メディア工学科,山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) 山本 泰生(山梨大学大学院医学工学総合研究部) |
論文 | PDFファイル |
題目 | 3J4-5in 活動量計データを用いた同行検出手法の研究 |
---|---|
著者 |
川尻 亮真(東京大学大学院情報理工学系研究科) 坪内 孝太(Yahoo! JAPAN 研究所) 荒木 青伊良(東京大学工学部機械情報工学科) 下坂 正倫(東京大学工学部機械情報工学科) |
論文 | PDFファイル |
題目 | 3M4-4in アイコン画像に注目したTwitter研究の提案 |
---|---|
著者 |
冨永 登夢(大阪大学大学院基礎工学研究科システム創成) 土方 嘉徳(大阪大学 大学院基礎工学研究科) 西田 正吾(大阪大学) |
論文 | PDFファイル |
題目 | 3O1-1in 仮想物理世界上で動く論理回路の実装 |
---|---|
著者 |
瀬戸口 幸寿(電気通信大学 情報理工学部 情報・通信工学科 成見研究室) 成見 哲(電気通信大学情報・通信工学科) |
論文 | PDFファイル |
題目 | 3O1-2in オブジェクトの状態変化に基づくストーリーを有した絵集合の生成 |
---|---|
著者 |
上野 未貴(大阪府立大学 工学研究科 電気・情報系専攻 知能情報工学分野) 森 直樹(大阪府立大学 工学研究科 電気・情報系 知能情報工学分野) 松本 啓之亮(大阪府立大学 工学研究科 電気・情報系専攻 知能情報工学分野) |
論文 | PDFファイル |
題目 | 3O1-3in ハイブリッド制約言語HydLaを用いたハイブリッドシステムの解析 |
---|---|
著者 |
松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 河野 文彦(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院) |
論文 | PDFファイル |
題目 | 3O1-6in 逆強化学習による報酬関数推定における目的関数の影響の考察 |
---|---|
著者 |
北里 勇樹(千葉大学大学院工学研究科建築・都市科学専攻) 荒井 幸代(千葉大学大学院工学研究科都市環境システムコース) |
論文 | PDFファイル |
題目 | 3O1-7in 潜在情報を考慮した時系列文書の要約への取り組み |
---|---|
著者 |
鈴木 聡子(お茶の水女子大学院人間文化創成科学研究科理学専攻) 小林 一郎(お茶の水女子大学大学院人間文化創成科学研究科理学専攻情報科学コース) |
論文 | PDFファイル |
題目 | 3O1-9in Hadoopによる時系列画像のための汎用分散データマイニングシステムの構築 |
---|---|
著者 |
西前 光(高知大学) 三好 智也(高知大学) 森 啓太 (高知大学) 本田 理恵(高知大学) |
論文 | PDFファイル |
題目 | 4D1-2in 単純化方略を用いた失敗克服型演習と失敗要因の抽出機能 |
---|---|
著者 |
林 直也(広島大学大学院工学研究科) 武智 俊平(広島大学大学院工学研究科) 篠原 智哉(広島大学大学院工学研究科学習工学研究室) 山元 翔(広島大学大学院工学研究科学習工学研究室) 林 雄介(広島大学大学院工学研究科) 平嶋 宗(広島大学 大学院工学研究科) |
論文 | PDFファイル |
題目 | 4I1-2in 有益な動画コメント抽出に関する基礎検討 |
---|---|
著者 |
早川 卓弥(大阪大学基礎工学研究科システム創成専攻) 土方 嘉徳(大阪大学基礎工学研究科西田研究室) 西田 正吾(大阪大学基礎工学研究科西田研究室) |
論文 | PDFファイル |
題目 | 4J1-5in センサネットワークによるクラウド型飼育環境共有システムの試作 |
---|---|
著者 |
大塚 孝信(名古屋工業大学大学院/情報工学専攻) 森 顕之(名古屋工業大学 情報工学科) 伊藤 孝行(名古屋工業大学産業戦略工学専攻/情報工学科 ) |
論文 | PDFファイル |
題目 | 4K1-4in 遺伝子発現データを用いた転写因子束縛ネットワークの状態推定 |
---|---|
著者 |
平沼 祐人(山梨大学大学院医学工学総合教育部修士課程コンピュータメディア工学専攻) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
論文 | PDFファイル |
題目 | 4M1-2in 地域情報資源としての地域内在型物語の発想・創作支援および配信手法 |
---|---|
著者 |
柊 和佑(稚内北星学園大学情報メディア学部情報メディア学科) 泉 志帆莉(稚内北星学園大学情報メディア学部地域創造学科) 安藤 友晴(稚内北星学園大学情報メディア学部情報メディア学科) |
論文 | PDFファイル |
題目 | 1B2-OS-02a-3in 機械学習による海洋観測データの良否分類に向けた初期検討 |
---|---|
著者 |
松山 開(鹿児島大学理工学研究科情報生体システム工学専攻) 小野 智司(鹿児島大学理工学研究科情報生体システム工学専攻) 福井 健一(大阪大学 産業科学研究所) 細田 滋毅(JAMSTEC RIGC) |
論文 | PDFファイル |
題目 | 1B5-OS-12b-1in Kit-Build概念マップを用いた協調活動による知識伝搬の分析 |
---|---|
著者 |
野村 敏弘(広島大学大学院工学研究科) 林 雄介(広島大学大学院工学研究科) 鈴木 拓磨(練馬区立豊玉中学校) 平嶋 宗(広島大学大学院工学研究科) |
論文 | PDFファイル |
題目 | 1B5-OS-12b-4in 算数文章題を対象とした数量関係的統合過程の外化支援のための構造診断機能の設計・開発 |
---|---|
著者 |
小田 拳太(広島大学大学院工学研究科) 竹内 俊貴(広島大学大学院工学研究科) 山元 翔(広島大学大学院工学研究科学習工学研究室) 林 雄介(広島大学大学院工学研究科) 平嶋 宗(広島大学大学院工学研究科) |
論文 | PDFファイル |
題目 | 1D4-OS-11a-2in 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 |
---|---|
著者 |
岩下 洋哲(富士通研究所) 戸田 貴久(電気通信大学 大学院 情報システム学研究科) 津田 宏治(産業総合研究所 生命情報工学研究センター) 湊 真一(北海道大学大学院情報科学研究科) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-2in CDCL ソルバーのための軽量動的包摂検査 |
---|---|
著者 |
杉本 拓也(山梨大学大学院医学工学総合教育部コンピュータ•メディア工学専攻) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-4in 大規模SAT問題の求解のための緩和解法の検討と提案 |
---|---|
著者 |
三神 直彬(山梨大学工学部コンピュータ・メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-5in フーリエ変換を用いた命題論理式の充足可能性に関する考察ー第2報ー |
---|---|
著者 |
宮城 智輝(山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1E5-OS-23b-5in 人を楽しませる接待将棋システム |
---|---|
著者 |
仲道 隆史(電気通信大学 情報理工学研究科/情報・通信工学専攻) 伊藤 毅志(電気通信大学 情報理工学研究科/情報・通信工学専攻) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1G4-OS-19a-4in Multi Armed Banditモデルに基づくエンドポイント探索支援システムの試作 |
---|---|
著者 |
稜野 寿章(静岡大学大学院情報学研究科) 福田 直樹(静岡大学大学院情報学研究科) |
論文 | PDFファイル |
題目 | 1G4-OS-19a-5in クエリ変換手法に基づくLOD検索の高速化のための機構を備えたSPARQLエンドポイントの試作 |
---|---|
著者 |
山形 祐史(静岡大学大学院情報学研究科) 福田 直樹(静岡大学大学院情報学研究科) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1G5-OS-19b-4in Linked Data を用いた体験情報の外在化を促進するための協創支援環境 |
---|---|
著者 |
盛山 将広(関西大学総合情報学部総合情報学科) 月川 香奈子(関西大学総合情報学部総合情報学科) 白水 菜々重(関西大学大学院総合情報学研究科知識情報学専攻) 松下 光範(関西大学総合情報学部) |
論文 | PDFファイル |
題目 | 1G5-OS-19b-6in 行政と市民によるオープンデータ共創支援プラットフォームLinkData.org |
---|---|
著者 |
下山 紗代子(独立行政法人理化学研究所 情報基盤センター 統合データベース特別ユニット) 豊田 哲郎(独立行政法人理化学研究所 情報基盤センター 統合データベース特別ユニット) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1J4-OS-18a-6in 国内ウェブサービスでの投稿画像検閲における HC/CS 活用事例 |
---|---|
著者 |
林 佑樹(株式会社IkkyoTechnology) 横川 毅(株式会社IkkyoTechnology) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1M5-OS-05b-3in 他者と踊り合うことがブレイクダンスのパフォーマンスにもたらす変化 |
---|---|
著者 |
清水 大地(東京大学大学院教育学研究科教育心理学専攻) 岡田 猛(東京大学大学院教育学研究科教育心理学専攻・情報学環) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2C5-OS-22b-1in 全脳アーキテクチャの解明を足がかりとした汎用人工知能の実現可能性 |
---|---|
著者 |
一杉 裕志(産業技術総合研究所 ヒューマンライフテクノロジー研究部門 脳機能計測研究グループ) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2D4-OS-28a-7in 読書における熱中状態の定義・観測手法構築 |
---|---|
著者 |
布山 美慕(慶應義塾大学大学院政策・メディア研究科) 日高 昇平(北陸先端科学技術大学院大学知識科学研究科) 諏訪 正樹(慶應義塾大学環境情報学部) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2F4-OS-01a-8in 統合物語生成システムにおける状態-事象変換知識ベースの現状と課題 |
---|---|
著者 |
福田 至(岩手県立大学ソフトウェア情報学部ソフトウェア情報学科) 小方 孝(岩手県立大学 ソフトウェア情報学部) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2F5-OS-01b-2in ストーリーの「機能」連鎖を比較的自由に設定できる方法 |
---|---|
著者 |
小方 孝(岩手県立大学 ソフトウェア情報学部) 藤原 朱里(岩手県立大学 ソフトウェア情報学部) 今渕 祥平(岩手県立大学大学院 ソフトウェア情報学研究科) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2G4-OS-21b-4in ゲームを用いたセンサデータ収集方法のデザイン |
---|---|
著者 |
高橋 公海(NTT未来ねっと研究所) 草野 孔希(NTTサービスエボリューション研究所) 川崎 仁史(NTT未来ねっと研究所) 秦 崇洋(NTT未来ねっと研究所) 倉沢 央(NTT未来ねっと研究所) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2I4-OS-08a-5in Meaning representations from Japanese and English treebanks |
---|---|
著者 |
Butler Alastair(Tohoku University) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 2J4-OS-16a-1in ACOに基づく階層型時系列パターンマイニング法の提案 |
---|---|
著者 |
坪井 一晃(電気通信大学大学院情報システム学研究科社会知能情報学専攻) 篠田 孝祐(電気通信大学 大学院情報システム学研究科) 諏訪 博彦(電気通信大学大学院情報システム学研究科社会知能情報学専攻) 栗原 聡(電気通信大学大学院情報システム学研究科) |
論文 | PDFファイル |
題目 | 2J4-OS-16a-4in 有向ネットワークの構造が情報拡散に与える影響の分析 |
---|---|
著者 |
臼井 翔平(名古屋大学大学院情報科学研究科社会システム情報学専攻) 鳥海 不二夫(東京大学 大学院工学系研究科) 平山 高嗣(名古屋大学大学院情報科学研究科) 間瀬 健二(名古屋大学大学院情報科学研究科) |
論文 | PDFファイル |
題目 | 2J4-OS-16a-5in 単語のコミュニティ性に基づいた専門用語の抽出 |
---|---|
著者 |
石橋 和樹(和歌山大学システム工学部) 南出 直樹(和歌山大学システム工学部情報通信システム学科) 風間 一洋(和歌山大学システム工学部情報通信システム学科) 篠田 孝祐(電気通信大学 大学院情報システム学研究科,慶應義塾大学 大学院政策・メディア研究所) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 3B4-OS-10b-2in マルチエージェント協調メカニズムを用いたデスクワーク支援システム(AIDE)の構築 |
---|---|
著者 |
藤田 真康(電気通信大学大学院情報システム学研究科社会知能情報学専攻) 篠田 孝祐(電気通信大学 大学院情報システム学研究科) 諏訪 博彦(電気通信大学大学院情報システム学研究科社会知能情報学専攻) 栗原 聡(電気通信大学大学院情報システム学研究科) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 3L4-OS-26b-1in 株価掲示板データを用いたファイナンス用ポジネガ辞書の生成 |
---|---|
著者 |
坪内 孝太(Yahoo! JAPAN 研究所) 山下 達雄(ヤフー株式会社 事業戦略統括本部 Yahoo!JAPAN研究) |
論文 | PDFファイル |
題目 | 3L4-OS-26b-5in 移動エントロピーを用いた銘柄間ネットワークダイナミクスの分析 |
---|---|
著者 |
小村 和輝(東京大学 工学系研究科 システム創成学専攻) 鳥海 不二夫(東京大学 大学院工学系研究科) 大橋 弘忠(東京大学大学院 工学系研究科 システム創成学専攻) |
論文 | PDFファイル |
題目 | 1D5-OS-11b-3in 充足不能コアにおける変数集合の極小化手法の検討 |
---|---|
著者 |
渡辺 大樹(山梨大学工学部コンピュータ•メディア工学科) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
題目 | 1L4-NFC-05a-3in 業務システムを対象としたエンドユーザ開発支援の課題と展望 |
---|---|
著者 |
古川 慈之(産業技術総合研究所 先進製造プロセス研究部門) 澤田 浩之(産業技術総合研究所 先進製造プロセス研究部門) 徳永 仁史(産業技術総合研究所 先進製造プロセス研究部門) |
論文 | PDFファイル |