第22回 回路とシステム軽井沢ワークショップ開催案内 第22回 回路とシステム軽井沢ワークショップ実行委員長 市毛 弘一 (横浜国大) 毎年，春に開催しております回路とシステム軽井沢ワークショップ(KWS)も， 今回で22回目を迎えることとなりました．本ワークショップは， 回路とシステムに関連した分野の研究者や技術者が集い，招待論文や 投稿論文，パネル討論を通じて，分野内だけでなく分野間にまたがる 境界領域の課題解決と，将来の研究分野の探求を目的としています． 今回は，石井 六哉氏（横浜国立大学）によります 特別招待講演 「信号処理技術の発展と関連学会の変遷について」 をはじめ， 19件の招待講演を含む多彩なプログラムを用 意しております．研究者間の技術交流の場として，また最先端の研 究に接する絶好の機会ですので，皆様奮ってご参加ください． ホームページ： http://www.ieice.org/ess/kws/ 開催日: 2009年4月20日(月), 21日(火) 会場: 軽井沢プリンスホテル ウエスト・国際会議場 浅間 (長野県北佐久郡軽井沢町軽井沢, TEL 0267-42-1111) 会場受付：4月19日(日) 17:30〜19:00, 20日(月) 8:00〜, 21日(火) 8:00〜 浅間会場前ロビー 特別招待講演： 「信号処理技術の発展と関連学会の変遷について」 石井 六哉(横浜国大) 招待講演: 下記の招待講演などを企画しています． 「カオスダイナミクスを用いた組み合わせ最適化 」 池口 徹 (埼玉大) 「高耐圧MOSFET特性のモデル化と回路シミュレータへの組み込み」 三浦 道子, 貞近 倫夫, 折附 泰典, 作田 隆, 三宅 正尭, 横道 政宏, 梶原 隆宏, 菊地原 秀行, Uwe Feldmann, Hans Juergen Mattausch(広島大) 「数理計画法の非線形回路解析への応用 」 山村 清隆 (中大) 「ミックストシグナルSoCにおける回路構成とビヘイビアモデル」 安田 彰(法政大) 「パイプラインADCの低電圧化技術 」 塚本 三六 (富士通研) 「パイプラインAD変換器のデジタルアシスト技術 」 川人 祥二(静岡大) 「ナノCMOS時代のアナログ回路 - デジタルアシストAD変換技術を中心として -」 小林 春夫(群馬大) 「光線空間信号処理と多視点映像符号化方式の標準化」 藤井 俊彰(東工大) 「幾何光学と写真術のデジタル融合　演算結像術入門」 阿部 淑人(新潟県工技総研) 「人体通信」 前山 利幸(拓殖大) 「リソグラフィにおけるバラツキの実態とDFMへのアプローチ」 富永 誠(NECEL) 「非同期VLSI設計技術の最近の研究動向について 」 南谷 崇(東大) 「計算世界観グローバルCOEの紹介」 渡辺 治(東工大) 「離散凸最適化手法による機械学習の諸問題へのアプローチ」 永野 清仁, 河原 吉伸, 岡本 吉央(東工大) 「最適解を求めるプランニング・アルゴリズムの大規模並列化について 」 岸本 章宏(はこだて未来大), Alex Fukunaga(東工大), Adi Botea(NICTA) 「ソフトウェア工学からみたモデル検査法」 中島 震 (国立情報学研究所) 「組込みシステムの形式的手法」 山根 智(金沢大) 「生物回路の設計原理に基づく細胞機能の設計」 倉田 博之(九工大) 「細胞分化を誘導するシグナルと転写の反応骨格」 畠山 眞里子 (理化学研究所) 参加費： 早期申込期限 (2009年4月2日(木)) までに申し込みされた場合， 参加費が下記の通り異なります． 2009年4月2日(木) までに，システムによる参加申込と振込が 完了している場合に早期申込の扱いとします． 2009年4月2日(木)まで 2009年4月3日(金)から開催期間中 会員 20,000円 23,000円 非会員 25,000円 28,000円 学生 10,000円 11,000円 ※送金手数料は，各自ご負担ください． ※領収書は開催期間中の受付にてお渡しします． ※参加費には論文集代，懇親会費を含みます． ※同伴者の懇親会費用は，学生 5,000円，一般 8,000円と なっています． ※会員とは，電子情報通信学会，電気学会またはIEEEの 個人会員のことです． 参加申込方法： 参加申込はワークショップのホームページよりお願いします． 会場の受付で参加申込することも可能です． 参加費払込先: ゆうちょ銀行(郵便局)の窓口等に置かれている「払込取扱票」 にて2009年4月12日(日)までに次の口座にお振込ください． 口座番号：01320-7-108297 加入者名：回路とシステム軽井沢ワークショップ 「払込取扱票」の通信欄には必ずシステムが発行した参加登録 番号，氏名および金額を記載してください．複数の費用をまと めて払込む場合は，全員の情報を明記してください． 振込方法の詳細はホームページを参照してください． 参加に関する問合わせ先: 田岡 智志（参加担当幹事） 〒739-8527 広島県 東広島市 鏡山 1-4-1 広島大学 大学院工学研究科 情報工学専攻 Tel: 082-424-7666 Fax: 082-422-7028 E-mail: kws-22regist@mail.ieice.org 交通：電車 JR長野新幹線，軽井沢駅からタクシー5分，徒歩15分 車 上信越自動車道碓氷軽井沢ICから 10km 宿泊： 参加申込時に以下の特別料金(サービス料，諸税込)による軽井 沢プリンスホテルの宿泊を受付けます．ただし， 2009年4月19日(日), 20日(月)の宿泊に限ります． (料金に含まれるもの：1名さま，ルームチャージ税金込み・ サービス料込み) ○ 軽井沢プリンスホテル ウエスト プリンスコテージ ・（ツイン2部屋，バストイレ1ヶ所，4名定員) 3〜4名グループ1棟利用 7,700円/人 ・（ツイン2部屋，各部屋バストイレ付，4名定員） 3〜4名グループ1棟利用 8,200円/人 ・（ツイン4部屋，各部屋バストイレ付，8名定員） 7〜8名グループ1棟利用 7,700円/人 ・<相部屋 1タイプ ツイン利用>（Dタイプコテージ) Dタイプコテージに3〜4名を割り当てます． 1名からでも可能ですが，同泊者がいない場合は ホテル側のアレンジに任せて頂きます． 8,200円/人 ・<相部屋 2タイプ シングル利用>（Dタイプまたは Fタイプコテージ） Dタイプコテージの2部屋またはFタイプコテージの 4部屋のうち1部屋をシングルとして利用． 1名からでも可能ですが，同泊者がいない場合は ホテル側のアレンジに任せて頂きます． 14,200円/人 ○ 軽井沢プリンスホテル ウエスト ツインルーム ・ツイン 1名1室利用 19,200円 (ツインの1名利用) ・ツイン 2名1室利用 10,200円 (ツイン) ※ウエスト ツインルームには25部屋ほど有線LANが敷設 されている部屋があります．利用したい方は宿泊申込 書「備考欄」にその旨を記載してください．なお部屋 数に限りがあり，必ずしもご期待に添えるとは限りま せんので，予めご了承ください． o 注1：子供料金について 小学生以下ならば，上記の宿泊費から，500円割引 となります． o 注2：取り消し料について 20日前〜8日前： 20%以内 7日前〜2日前： 30%以内 前 日： 40%以内 当 日： 50%以内 当日無連絡不参加：100%以内 宿泊申込： 宿泊申込書を，ホームページから入手し，必要事項を記入して， E-mailまたはFAXで下記の宿泊申込先までお送り下さい． 担当：西武トラベル　大塚，大鷲 TEL: 03-5296-2639 FAX: 03-5296-2634 E-mail: m.otsuka@seibutravel.co.jp 振込の通知をお送りしますので，宿泊費は事前にお振込下さい． (注意) * 申し込みは同室宿泊者ごとにお願いします． * E-mailで送付する場合，その件名(Subject)に 「回路とシステム」という文字を入れて下さい． * 数日後に振込の通知をお送りしますが，通知が届かない 場合にはお問い合わせ下さい． 宿泊申し込み締切日： 宿泊申込は2009年4月9日(木)までとなっております． なお，締切日以降でも空室があれば宿泊できますので，その際 は上記宿泊申込先までお問い合わせ下さい． 宿泊に関する問合わせ先： 土谷 亮 (会計・会場・宿泊担当幹事) 〒606-8501 京都府 京都市 左京区 吉田本町 京都大学 Tel: 075-753-5312 Fax: 075-753-5343 E-mail: kws-22finance@mail.ieice.org [プログラム] 2009年4月20日(月) セッション A1-1 数値計算 (9:00-10:15) 座長: 渡邉 貴之 (静岡県立大) 1. Alternating-Direction-Explicit Method Based FDTD Algorithm Shahed Hussain (Shizuoka Univ., SESAME Technology Inc.)・ Naoki Oguni (Shizuoka Univ.)・ Hideki Asai (Shizuoka Univ., SESAME Technology Inc.) 2. A Robust & Fast FDTD Technique for Fine Mesh Structures Chandra Sekhar Paidimarry (Shizuoka Univ., SEASME Technology Inc.)・ Naoki Oguni (Shizuoka Univ.)・Yuta Inoue・ Hideki Asai (Shizuoka Univ., SEASME Technology Inc.) 3. SPICEの過渡解析による非線形抵抗回路の混合方程式の導出 戸野倉充・山村清隆 (中大) セッション A1-2 [特別セッション] 非線形ダイナミクスによるネ ットワークの基礎と応用 (10:35-12:04) 座長: 松下 春奈 (徳島大) 4. [招待]カオスダイナミクスを用いた組み合わせ最適化 池口徹 (埼玉大) 5. Maximum-Flow Neural Network における安定性の一般化とその 応用 佐藤雅俊・青森久・田中衞 (上智大) 6. Nematodynamics based on Landau-de Gennes Theory Masahiro Nakagawa (Nagaoka Univ. of Tech.) セッション A1-3 [特別講演] デバイスモデリング (13:30-14:30) 座長: 木村 智寿 (東芝) 7. [招待]高耐圧MOSFET特性のモデル化と回路シミュレータへの組 み込み 三浦道子・貞近倫夫・折附泰典・作田隆・ 三宅正尭・横道政宏・梶原隆宏・菊地原秀行・Uwe Feldmann・ Hans Juergen Mattausch (広島大) セッション A1-4 カオス写像の応用と展望 (15:15-16:43) 座長: 茂呂 征一郎 (福井大) 8. 歪んだテントマップに基づくDACの解析 瀧口真男・ 斎藤利通 (法政大) 9. ランダム性向上を目標としたカオス写像の構成に関する研究 田中博紀・岩田和馬・鎌田弘之 (明大) 10. ボルテラフィルタを用いたカオス暗号システムの特性改善に関 する研究 寺田悠介・田中博紀・岩田和馬・ 鎌田弘之 (明大) 11. スイッチング動作に遅延を伴うハイブリッドシステムの実現と その解析 麻原寛之・高坂拓司 (大分大) セッション Ba1-1 AD/DA (9:00-10:15) 座長: 安田 彰 (法政大) 12. 連続時間BPΔΣAD変調器のQ値とループ遅延の影響 林海軍・田辺朋之・元澤篤史 (群馬大)・ロレパスカル・ 飯塚邦彦 (シャープ)・小林春夫・傘昊・高井伸和 (群馬大) 13. SAR ADC Algorithm with Redundancy 小川智彦・ 小林春夫 (群馬大)・堀田正生 (武蔵工大)・高橋洋介・傘昊・ 高井伸和 (群馬大) 14. タイムインターリーブADCの新規LMSバックグランドキャリブレ ーション 高橋友美・大島俊・山脇大造 (日立) セッション Ba1-2 フィルタ・高周波 (10:30-12:10) 座長: 大島 俊 (日立) 15. TDCを用いたフィルタの遮断周波数及びQチューニングに関する 研究 藤村征弘・高井伸和 (群馬大) 16. インバータタイプGm-C バンドパスフィルタの解析と設計 林海軍・田辺朋之・傘昊・小林春夫 (群馬大) 17. A Novel All CMOS BPSK Detection Scheme for UWB Impulse- radio Communication Mohiuddin Hafiz・ 吉川公麿 (広島大) 18. 広帯域・低位相雑音・差動型リングVCOの設計 大下隆生・天川修平・石原昇・益一哉 (東工大) セッション Ba1-3 [特別講演] 低電圧微細CMOS時代のAD/DA変換技 術I (13:30-15:10) 座長: 堀田 正生 (東京都市大) 19. [招待]パイプラインADCの低電圧化技術 塚本三六 (富士通研) 20. [招待]パイプラインAD変換器のデジタルアシスト技術 川人祥二 (静岡大) セッション Ba1-4 [特別講演] 低電圧微細CMOS時代のAD/DA変換技 術II (15:30-16:30) 座長: 堀田 正生 (東京都市大) 21. [招待]ナノCMOS時代のアナログ回路 - デジタルアシストAD変 換技術を中心として - 小林春夫 (群馬大) セッション Bd1-1 フィルタ理論 (9:00-10:15) 座長: 八巻 俊輔 (東北大) 22. 誤差に対する所与の最悪値評価尺度を最小化する非線形解析フ ィルタを伴うフィルタバンクに基づく内挿近似理論 木田雄一 (奥羽大)・木田拓郎 (東工大) 23. 単調な遷移域をもつIIRディジタルフィルタの設計のための反 復手法 河野健・阿部正英・川又政征 (東北大) 24. The Optimum Discrete Running Approximation of Multi- Dimensional Time-Limited Signals Yuichi Kida (Ohu Univ.)・ Takuro Kida (Professor Emeritus, Tokyo Inst. of Tech. and Nihon Univ. fellow) セッション Bd1-2 動画像符号化 (10:45-12:00) 座長: 黒崎 正行 (九工大) 25. H.264/SVCにおけるEnhancementレイヤー符号化時の動き探索範 囲の最適化に関する研究 片山貴文・森上義崇・宋天・ 島本隆 (徳島大) 26. H.264 向け量子化パラメータを考慮した動きベクトル検出手法 の一検討 小島康介 (阪電通大)・橋本亮司 (阪大)・ 藤田玄 (阪電通大) 27. SATD基準におけるH.264/AVCの高速モード判定法 窪山雄太・古賀昭浩・黒木祥光 (久留米高専) セッション Bd1-3 信号処理応用 (13:30-14:45) 座長: 棟安 実治 (関西大) 28. カオス電子透かしを用いたディジタル画像の改ざん検出法 梅澤太一・久野雅・鎌田弘之 (明大) 29. 埋込み空間選択型画像電子透かし法 中本昌由・ 原野友敬・濱野恵太・雛元孝夫 (広島大) 30. モンテカルロ・フィルタと加速度信号による振り子の制御 立花康夫 (神奈川工科大) セッション Bd1-4 招待講演I (15:15-16:55) 座長: 久保田 彰 (東工大) 31. [招待]光線空間信号処理と多視点映像符号化方式の標準化 藤井俊彰 (東工大) 32. [招待]幾何光学と写真術のデジタル融合　演算結像術入門 阿部淑人 (新潟県工技総研) セッション C1-2 [As/C分科会合同特別セッション] DFM (10:45-11 :55) 座長: 橋本 昌宜 (阪大) 33. [招待]リソグラフィにおけるバラツキの実態とDFMへのアプロ ーチ 富永誠 (NECEL) 34. ランダム曲面モデルによるＨ型ツリーにおけるクロックスキュ ーの解析 大川眞一・増田弘生 (ルネサス) セッション C1-3 システム設計と検証 (13:50-14:40) 座長: 垣内 洋介 (阪大) 35. ASystemC: システム記述言語のアスペクト指向拡張 遠藤侑介 (東芝) 36. 複数の条件分岐を含む回路のカバレッジ検証手法 大石亮介・松田明男 (富士通研) セッション C1-4 [特別セッション] 非同期設計技術 (15:15-16:30 ) 座長: 金子 峰雄 (北陸先端大) 37. [招待]非同期VLSI設計技術の最近の研究動向について 南谷崇 (東大) 38. FPGA実装を対象とした束データ方式による非同期式回路の遅延 調整手法の評価 齋藤寛 (会津大)・ 米田友洋 (国立情報学研究所)・南谷崇 (東大) セッション D1-1 アルゴリズム論I (9:00-10:15) 座長: 中山 慎一 (徳島大) 39. 回転型セル迷路のPSPACE完全性 上條裕介・ 上嶋章宏 (阪電通大) 40. The Undirected Feedback Vertex Set Problem with Application to Wavelength Converter Placement on WDM Networks Toshinori Yamada・Yusuke Tada・ Takaaki Tanaka (Saitama Univ.) 41. 断続的故障を考慮したマルチプロセッサシステムの並列故障診 断 伊東桂・山田敏規 (埼玉大) セッション D1-2 計算世界観 (10:30-12:30) 座長: 相田 慎 (豊橋技科大) 42. [招待]計算世界観グローバルCOEの紹介 渡辺治 (東工大) 43. [招待]離散凸最適化手法による機械学習の諸問題へのアプロー チ 永野清仁・河原吉伸・岡本吉央 (東工大) 44. [招待]最適解を求めるプランニング・アルゴリズムの大規模並 列化について 岸本章宏 (はこだて未来大)・ Alex Fukunaga (東工大)・Adi Botea (NICTA) セッション D1-3 [特別セッション] フォーマルメソッドI (14:00- 14:50) 座長: 山口 真悟 (山口大) 45. Reduction Techniques for Equivalence Checking of Concurrent Programs Yoshisato Sakai・ Aurelien Tran (Toshiba) 46. 状態抽象化による組込みソフトの状態遷移テスト効率化実験 太田暁率・進博正・岩政幹人・遠藤侑介・渡邊竜明 (東芝) セッション D1-4 [特別セッション] フォーマルメソッドII (15:10 -16:40) 座長: 宮本 俊幸 (阪大) 47. [招待]ソフトウェア工学からみたモデル検査法 中島震 (国立情報学研究所) 48. [招待]組込みシステムの形式的手法 山根智 (金沢大) セッション 特別招待講演 (17:40-18:40) 座長: 市毛 弘一 (横浜国大) 49. [招待]信号処理技術の発展と関連学会の変遷について 石井六哉 (横浜国大) 2009年4月21日(火) セッション A2-1 回路と分岐解析 (8:45-10:14) 座長: 高坂 拓司 (大分大) 1. [招待]数理計画法の非線形回路解析への応用 山村清隆 (中大) 2. 2次元非線形衝突振動系に対する分岐点の追跡法 朝長伸吾 (大分大)・津元国親 (阪大)・高坂拓司 (大分大) 3. Van der Pol方程式の目的に応じた簡便な変更法の提案 常盤達司・山川烈 (九工大) セッション A2-2 [As/Ba分科会合同特別セッション] アナログ・ミ ックストシグナル設計手法 (10:30-11:55) 座長: 傘 昊 (群馬大) 4. [招待]ミックストシグナルSoCにおける回路構成とビヘイビア モデル 安田彰 (法政大) 5. アナログ電子回路／デバイスライブラリのためのＷｅｂアプリ ケーションの開発 森山誠二郎 (アナジックス)・ 岡村淳一・安田彰 (Trigence Semiconductor) セッション A2-3 ニューラルシステムの工学的応用 (13:15-14:43) 座長: 青森 久 (上智大) 6. パルス列入力が印加されたスパイキングニューロン回路の分岐 現象 川井祐二・斎藤利通 (法政大) 7. 近傍関係を考慮するネットワーク構造型粒子群最適化法 松下春奈・西尾芳文 (徳島大) 8. カオス暗号の暗号強度検証に関する研究 佐藤元樹・ 鎌田弘之 (明大) 9. 分岐ニューロンの現象解析とA/Dコンバータへの応用 手島嗣紋・斎藤利通 (法政大) セッション Ba2-1 アナログ集積回路ブロック (9:00-10:15) 座長: 小林 春夫 (群馬大) 10. A 5.26-nW 0.8-V CMOS Current and Voltage Reference Circuit Without Resistors Zhangcai Huang (Fukuoka IST)・Yubo Guo・ Yasuaki Inoue (Waseda Univ.) 11. An Automatic Design Method for MOS Analog Circuits using Reduction of Independent Design Variables Based on Topological Constraints 古川且洋 (ジーダット)・ 井上靖秋 (早大)・北城三郎 (ルネサス) 12. 強反転領域動作を考慮したバイアスオフセット型トランスコン ダクタの低電力化手法 宮澤壽志大・中村晋太朗・ 松元藤彦・野口泰明 (防衛大) セッション Ba2-2 サブスレッショルド動作回路 (10:30-12:10) 座長: 高井 伸和 (群馬大) 13. MOSFETのサブスレッショルド特性を利用したPTATクロックパル ス発生回路 上野憲一・浅井哲也・雨宮好仁 (北大) 14. 弱反転動作極低電圧駆動Rail-to-Railアナログ増幅回路 原田知親・高橋良輔・佐山裕紀・奥山澄雄・ 松下浩一 (山形大) 15. サブスレッショルドCMOS演算増幅器による大容量キャパシタ等 価素子 飯田智貴・浅井哲也・雨宮好仁 (北大) 16. サブスレッショルドCMOS論理システムのための電源回路 嶋田英人・上野憲一・浅井哲也・雨宮好仁 (北大) セッション Ba2-3 電源 (13:30-15:10) 座長: 松元 藤彦 (防衛大) 17. 誘導性や容量性負荷に対して高効率を維持できるスイッチトキ ャパシタDC-ACコンバータ 大田真菜美・ 寺田晋也 (熊本電波高専)・江口啓 (静岡大)・ 大田一郎 (熊本電波高専) 18. Inrush Current Limiting Circuit For High Speed Start-Up Low Dropout Regulator Socheat Heng (Univ. of Electro-Communications)・ Weichun Tung (Tamkang Univ.)・ Cong-Kha Pham (Univ. of Electro-Communications) 19. インターリーブ構成を用いた基地局パワーアンプ用包絡線追跡 電源 神戸章宏・金田雅人・小林春夫 (群馬大)・ 志村竜宏・平田仁士・山岸健太郎 (住友電気工業)・ 高井伸和 (群馬大) 20. A Single-Inductor Dual-Output DC-DC Converter Santhos Ario Wibowo・森偉文樹・津志田健吾・美和俊介・ 小林春夫 (群馬大) セッション Bd2-1 符号化方式 (9:00-10:15) 座長: 阿部 淑人 (新潟県工技総研) 21. ラプラシアンピラミッドを利用したJPEGに基づく解像度変換併 用型符号化方式 馬場賢浩・木村誠聡 (神奈川工科大) 22. 整数精度DCTを用いた領域内画素値の補正による任意形状符号 化 樋口雄太・古賀祐一郎・黒木祥光 (久留米高専) 23. 推測復号処理による動画像の高効率符号化における一検討 松野友和・大塚卓典・藤田玄 (阪電通大) セッション Bd2-2 実現技術 (10:45-12:00) 座長: 中垣 淳 (北見工大) 24. ロボットビジョン・ネットワークのための機能的階層符号化 田口秀樹・高橋知将・岩橋政宏・木村哲也 (長岡技科大) 25. 区間計算を用いた混合ガウス分布モデルに基づくクラス判別の DSP/FPGA実装 渡辺秀典・村松正吾・菊池久和 (新潟大) 26. ダクト内の音場を考慮したマルチチャネルANC システムの構築 菅原直志・阿部正英・川又政征 (東北大) セッション Bd2-3 招待講演II (13:45-14:45) 座長: 渡邊 修 (拓殖大) 27. [招待]人体通信 前山利幸 (拓殖大) セッション Bd2-4 画像処理 (15:15-16:30) 座長: 中本 昌由 (広島大) 28. 画像レジストレーションアルゴリズムの精度評価のための画像 生成に関する検討 鈴木絢子 (東北大)・ 長嶋聖 (山武)・伊藤康一・青木孝文 (東北大) 29. 歯科パノラマX線写真における石灰化領域の検出 新庄勝之・棟安実治・花田良子 (関西大)・浅野晃 (広島大)・ 田口明 (松本歯科大) 30. フィルム映像における投影処理を用いたスクラッチの検出と除 去 風間泰宏・阿部正英・川又政征 (東北大) セッション C2-1 プロセッサ技術 (9:00-10:15) 座長: 坂主 圭史 (阪大) 31. データフローグラフに基づくバイパスアーキテクチャ向けコー ド最適化方法に関する研究 庄司俊寛・田金 (東工大)・ 三好健文 (東大)・杉野暢彦 (東工大) 32. Safe Clocking Based Datapath Synthesis for the Setup and Hold Timing Constraints Keisuke Inoue・ Mineo Kaneko・Tsuyoshi Iwagaki (JAIST) 33. 一般化レジスタ分散アーキテクチャを対象としたフロアプラン 指向高位合成手法 大智輝・戸川望・柳澤政生・ 大附辰夫 (早大) セッション C2-2 ばらつき・信頼性 (10:45-12:00) 座長: 松岡 英俊 (富士通) 34. 製造ばらつきに起因するリーク電流変動の低減アプローチ 佐方剛 (富士通)・黒川敦 (三洋半導体)・奥村隆昌 (STARC)・ 中島英斉 (NECEL)・増田弘生 (ルネサス)・ 佐藤高史 (東工大)・橋本昌宜 (阪大)・蜂屋孝太郎・ 古川且洋 (ジーダット)・田中正和 (パナソニック)・ 高藤浩資 (リコー)・金本俊幾 (ルネサス) 35. 製造後クロック調整におけるばらつき推定の一手法 高島康裕・志岐卓信 (北九州市立大)・ 稲木雅人 (広島市立大)・中村祐一 (NEC) 36. 高いSEU/SET耐性を持つ省面積・低遅延二重化フリップフロッ プ 古田潤・小林和淑・小野寺秀俊 (京大) セッション C2-3 [As/C分科会合同特別セッション] ばらつき解析 (13:30-14:45) 座長: 高島 康裕 (北九州市立大) 37. 設計初期段階で電源電圧降下を見積もるための解析式 大谷一幸 (三洋LSIデザイン・システムソフト)・高嶋裕司・ 黒川敦 (三洋半導体) 38. 製造ばらつきと信頼性を考慮した現実的な冗長ビア挿入方法 高嶋裕司 (三洋半導体)・ 大谷一幸 (三洋LSIデザイン・システムソフト)・ 黒川敦 (三洋半導体) 39. マルコフモデルによるオシレータサンプリング方式真性乱数生 成器の乱数品質解析 天木健彦・橋本昌宜・密山幸男・ 尾上孝雄 (阪大) セッション D2-1 ペトリネット (9:00-10:15) 座長: 小中 英嗣 (名城大) 40. 振る舞い継承を満たすワークフローネットの拡張とacyclicネ ットに対する健全化の可能性について 山口真悟・ 池田良・田中稔 (山口大) 41. MAX-LFS解法と後処理の改良により性能強化されたペトリネッ トのマーキング構成問題解法 石井稔久・田岡智志・ 渡邉敏正 (広島大) 42. Heuristic Algorithms AADO and AMDLO for the Minimum Initial Marking Problem of Petri Nets Satoru Ochiiwa・Satoshi Taoka (Hiroshima Univ.)・ Masahiro Yamauchi (Kinki Univ.)・ Toshimasa Watanabe (Hiroshima Univ.) セッション D2-2 システムバイオロジー (10:30-12:00) 座長: 松野 浩嗣 (山口大) 43. [招待]生物回路の設計原理に基づく細胞機能の設計 倉田博之 (九工大) 44. [招待]細胞分化を誘導するシグナルと転写の反応骨格 畠山眞里子 (理化学研究所) セッション D2-3 アルゴリズム論II (13:30-14:45) 座長: 山田 敏規 (埼玉大) 45. 静的2分探索木: 2方向直交半直線のsub-crosbar問題への応用 高橋俊彦 (新潟大) 46. Minimum Augmentation to Tri-Connect a Bi-Connected Graph with Upper Bounds on Vertex-Degree Toshiya Mashima (Hiroshima International Univ.)・ Satoshi Taoka・Toshimasa Watanabe (Hiroshima Univ.) 47. グラフ点彩色問題の分散分枝限定解法ParaBSCに対するVNSに基 づく性能強化 道後幸寛・田岡智志・渡邊敏正 (広島大) セッション D2-4 離散事象システム論 (15:15-16:05) 座長: 山口 真之介 (九工大) 48. 離散値制御系に対する時間付き事象駆動型ニューラルコントロ ーラの構築 板倉啓樹・小中英嗣 (名城大) 49. 与えられた動作を行う条件／事象ネットの最小実現 橋爪進・矢嶌智之・小野木克明 (名大)