応用技術が、コンコリックテスト(Concolic Test)です
炭素材料及びその応用技術 －平成23年度特許出願技術動向調査の紹介－ 「特技懇」誌のページ（特許庁技術懇話会 会員サイト）
... 5. 今後の課題と方向性 （1）炭素繊維に関する総合分析 炭素繊維の技術開発に関する世界の全特許出願において、 日本の特許出願件数シェアは49.1％と半数近くを占めており、 日本の技術競争力の高さがうかがわれます。特に、炭素繊 維自体の製造に関する特許は、日本が66％の出願件数比率 を示し、圧倒的なシェアを占めています。産業面でも、日本 ...
13
シリカベース高非線形光ファイバとその応用技術
... このような系外惑星探索用の光周波数コムには、極めて 高い性能が要求される。近赤外領域において大気の影響が 小さく、光の透過率の高い波長域であるY、J、Hバンド （970-1750nm）をカバーする超広帯域が要求されるとと もに、分光器の分解能の数倍以上となる10GHz以上の広 い周波数間隔が必要となる。このような広い周波数間隔の ...
6
はじめてのコンコリックテスト
... 充足可能性問題（Satisfiability problem, SAT）とは？ 命題論理式を対象にして、式中の変数のTrue/Falseの組み合わせ で全体をTrueにすることができるかどうかを判定する問題 変数Ａ，Ｂ，Ｃを含む論理式 ...
54
IT ビギナーズセミナー ( 公開セミナー ) スキルアップ 情報処理技術者試験 共通キャリア フレームワーク技術者向け試験 レベル 4 レベル 3 レベル 2 高度な知識 技能 応用的知識 技能 基本的知識 技能 高度試験 ( 複数の専門区分 ) 応用情報技術者試験 基本情報技術者試験 利用者向け
... ◆IT パスポート試験に関する問合せ： 03-6204-2098 （IT パスポートコールセンター） ●受験申込み∼受験までのおおまかな流れ（CBT） ① 利用者登録： 試験センターのサイトより、利用者 ID の登録を行う。 ② 申込み： 受験料の支払方法がクレジットカード、バウチャーの場合は受験日前日 の午前中までに、コンビニの場合は受験日の 5 日前までに、試験センターのサイ ...
7
(4) トラムトレインの衝突安全対策 1) 自動運転技術のトラムトレイン等への応用自動運転技術について トラムトレイン LRT 及びBRTへの応用について検討を行った 現在 2020 年までの自動運転の実用化を目指して 日本 米国及び欧州において技術開発が進められている 自動運転は人間に代わり認知
... 実証実験はディー・エヌ・エー（ＤｅＮＡ）が受託し、通行止した田沢湖沿いの県道約 400m で実施した。運転席や運転装置のないフランス製の自動運転バス『ロボットシャトル（定員 12 人）』を使用し、全地球測位システム（ＧＰＳ）やセンサーなどで車両位置や周辺環境を把握 しながら、最高速度約 10km/h で関係者や市民ら約 60 人を乗せて往復した。なお、実験では緊 急時には車内の担当者らが停止できるようにした。 ...
7
教則本 練習曲導入1導入2導入3基礎1基礎2基礎3基礎4基礎5応用1応用2応用3応用4応用5応用6応用7発展1発展2発展3発展4発展5展開1展開2展開32 教則本 練習曲 1 バスティンピアノパーティー C D 伴奏譜が付いている曲は伴奏可です 東音企画 バスティンピアノパーティー C
... 3261-001 ウィアー・オール・アローン B. スキャッグス（橋本晃一編曲） ベスト・アレンジ・ポップス・ピアノ 1 20 ド 3397-001 アイ・ガット・リズム ～ラテン～ ガーシュウィン （鈴木まり編曲） はじめてのガーシュウィン 32 全 3399-001 すべてをあなたに（ホイッ トニー・ヒューストン）★ G. ゴフィン &M. マッサー（坂部剛編曲） ピアノスタイルベストセレクション 3 36 リ ...
20
ナノピラー・ナノスリット技術でマイクロRNAをミリ秒スケールで抽出 ～1細胞解析やナノポアシーケンサーへの応用が期待～
... 今回開発したナノバイオデバイスは、 半導体分野で用いられる超微細加工技術を使い、 ナノピ ラーが生み出す 2 次元ナノ空間の核酸分離原理に、 3 次元方向にナノスリットを併せて作製する ことで異なった核酸分離原理を付与し、これらの相乗効果により従来では数十秒かかっていた miRNA の分離・抽出工程を 100 ミリ秒以内に行うことを実現し、 がんのバイオマーカーとして 知られる let-7 をわずか 20 ...
3
新開発Co基合金の産業への応用化技術開発
... key words : Co-based alloy, mirror surface, grinding, Ni-free, non-magnetic, feeling of cutting 1 緒 言 医療の現場では、強い磁気を利用する MRI を用いた診 断方法が主流となり、磁性を持たない器具類への要求が 大きくなっている。この要求を満たす材料としてセラミ ...
6
IT パスポート公開セミナー (CBT 試験対応 ) スキルアップ 情報処理技術者試験 共通キャリア フレームワーク技術者向け試験 レベル 4 レベル 3 レベル 2 高度な知識 技能 応用的知識 技能 基本的知識 技能 高度試験 ( 複数の専門区分 ) 応用情報技術者試験 基本情報技術者試験 利用
... ●CBT 方式の試験について IT パスポート試験は，平成 23 年 11 月以降，CBT 方式が採用されており，受験 者が都合のよい日時・会場を選択して受験することができます。 受験申込みは，試験前日の午前中まで可能であり，採点結果は試験終了直後に 画面上で確認できます。（受験申込みから試験結果確認までが迅速に行えます。） 受験申込みは，受験日の 3 ...
5
資料 5 組換え DNA 技術応用飼料の安全性確認 平成 26 年 2 月 19 日付け 25 消安第 5304 号をもって諮問された組換え DNA 技術応用飼料の安全性確認について 組換え DNA 技術応用飼料及び飼料添加物の安全性に関する確認の手続を定める件 ( 平成 14 年 11 月 26
... 70 CCOMT 遺伝子から産生されるカフェオイル CoA-3-O-メチルトランスフェラーゼ （以下「 CCOMT たん白質」という。）は、リグニンの主要なサブユニットであるグ アヤシルリグニン（以下「 G リグニン」という。）の生合成に関わるが、KK179 アル ファルファでは、 CCOMT 遺伝子断片によって生じる RNAi 1 により、ジーンサイレン シング 2 が誘導され、アルファルファ内在性の ...
25
「組換えDNA技術応用食品及び添加物の安全性審査の手続」の一部改正について
... ○「異種由来ベクター」とは、挿入ＤＮＡの供与体、宿主及び発現プラスミド が由来する微生物のいずれにも該当しない種に属する微生物に由来するベク ターをいうこと。 ○「リンカー配列等としてＤＮＡ配列が残存する場合」とは、マルチクローニ ングサイトや制限酵素認識部位等を含む異種由来ベクターに存在するＤＮＡ 配列が組換え体のゲノムＤＮＡや発現プラスミドに存在する場合をいうこと。 ...
6
130703 安全性未審査の組換えＤＮＡ技術応用食品の検査方法の一部改正について
... となっていることを確認し、反応を終了させた後、測定結果の解析を行う。 3. 結果の解析と判定（図1参照） コメ陽性対照用試験および害虫抵抗性遺伝子組換えコメ検出用試験 3 試験の各試験の いずれについても、結果の判定はAmplification plot上で指数関数的な増幅曲線とCt値の確認、 および、multicomponent上での対象色素由来の蛍光強度（FAM）の指数関数的な明確な増加 ...
69
最先端量子ドット技術でマウス生体内の脂肪由来幹細胞イメージングを実現 ～ディスプレイ・太陽電池技術を再生医療に応用展開～
... 生体に対して、より安全な量子ドットを新たに開発した。 ・ 高感度に生体内の移植幹細胞をイメージングすることに成功した。 ・ 前臨床試験において、低コストで多くの幹細胞を標識して追跡することが可能となる。 最先端量子ドット技術でマウス生体内の脂肪由来幹細胞イメージングを実現 ～4K ディスプレイ・太陽電池技術を再生医療に応用展開～ ...
3
高精度測位技術の応用について 第 13 回クリティカルソフトウェアワークショップ 宇宙航空研究開発機構衛星測位システム技術ユニット小暮聡 1
... • ローカル補正による収束時間短縮の効果（後処理解析：2014/09/03～ 2015/05/16） • 電離層活動状況が異なる３つのエリアにおけるローカル補正情報（スラント 方向総電子数（STEC）/衛星ごと＋垂直方向対流圏遅延量（ZTD）利用の効 果を後処理で評価 ...
41
PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... リスタート戦略 この Phase ではリスタート戦略として， Minisat のとる Luby リスタート [7] を改良した Luby SE リスタートと 呼ばれる戦略を取っている．従来の Luby リスタートは 式 2 のような配列であるが，これを改良した Luby SE は 式 3 のように浅い探索を部分的に省略することでより深 い探索を行うようにしている． ...
4
PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... 2. 登録後コース時間割問題 2.1 PE-CTT の定義 登 録 後 コ ー ス 時 間 割 問 題 (Post-Enrollment Course Timetabling; PE-CTT) は，生徒，講義，教室，設備，時間 枠に対する絶対制約と強考慮制約と弱考慮制約から構成され る . すべての問題は 5 日 × 9 時限の 45 個の時間枠を持つ． ここで，時間割を講義に対する教室と時間枠の割当てとする． ...
4
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... 調的に解く．その後，得られた LP の解を整数解へと丸める． LP は凸最適化問題であるため， MW 法により最適解に収束す るが，分散環境で動作するように解法を修正する必要がある． また，最小カット問題等のある種のクラスの COP に対しては ...
4
機能性レーザ加工技術の開発と産業応用に関する研究
... エキシマレーザ加工システムの構築 システムの光学要素と機械要素，コンピュータ制 御のためのインターフェイスならびにプログラムソ フトョなどを設計製作し，加工システムを構築した。 試料位置決めの高精度化に関する屈折モアレセンシ ング制御技法を開発した。レーザシステムの基本特 性を蓄積した。 2.. 3 ステージの位置制御 試料の深さ縦方向の加工にはレーザ強度フルエン スあ[r] ...
9
セメント・コンクリートの凝結コントロール技術の確立とその応用研究
... 6．2．1．2試験方法 コンクリートの練混ぜは100皇の重力式ミキサを使用し100旦練混ぜた。流動 性の確認はアジテータ車が運搬中にまわしている回転速度といわれている回転数 2rpmとし、重力式ミキサを2rpmにし、目視によって流動性を確認した。 温度の測定は熱伝対をコンクリートに埋め込み、データロガで自動測定した。 6．2．1．3 使用材料 使用材料を表6パ3に[r] ...
154
先進的IT技術の医療への応用と評価
... ２．４ 家庭におけるネットワーク接続型、保健、医療、福祉アプリケーションの調査 ２．５ 医療関連機器におけるJAVAアプリケーションの可能性の調査 ２．６ マイクロノードの医療系への応用の可能性の調査 ２．７ 医療系におけるマイクロノード利用の制約とメリットの調査 ...
50