| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ITE-BCT, CS, IE (連催) IPSJ-AVM (連催) [詳細] |
2012-12-07 09:35 |
福井 | 福井市地域交流プラザ | 全天魚眼画像の回転パラメータ校正 ○櫻井孝洋・久保 守（金沢大）・鎌田直人（東大）  CS2012-87 IE2012-101 |
森林内で円周魚眼カメラを鉛直上向きに設置して，林冠の季節変化を撮影している．異なる時期に同一地点・方位で撮影した全天画像... [more] | CS2012-87 IE2012-101 pp.95-100 |
| US | 2011-07-28 13:20 |
京都 | 京都電子工業株式会社 第三工場２階 大ホール | 新規遺伝子導入法としてのレーザ誘起応力波の開発 ○小木美恵子・西脇基晃・桜井貴裕（金沢工大）・内田恵理子（国立医薬品食品衛生研）・會澤康治・得永嘉昭（金沢工大） US2011-26 |
近年、細胞内への外来遺伝子導入技術は遺伝子治療に代表されるように重要な技術である。我々はこれまで「ウイルスを用いない遺伝... [more] | US2011-26 pp.21-25 |
| SS | 2006-06-22 14:45 |
岡山 | 岡山大学創立五十周年記念館 | 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け ○櫻井敬大・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
[more] | SS2006-15 pp.13-18 |
| SS | 2005-06-24 10:45 |
長野 | 信州大学 太田国際記念館 | 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大） |
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] | SS2005-21 pp.19-24 |
[研究会発表申込システムのトップページに戻る]