術の実行可能性を証明する
進行膵頭部癌における新しい治療方針を解明 〜術前化学放射線療法の有効性を証明〜 研究活動 | 研究／産学官連携
... 有効 いう点 解明さ いま した 本研究 関西医科大学外科学講 共 研究 古屋大学 関西医科大学 い 2013 年ま 除 企 し 治療 行 た膵頭部癌症例 504 例 対象 し 術前化学 放射線療法 NACRT 有効性 検討しました 行 NCCN 基準 除可能 ...
4
[総説]沖縄伝統野菜クワンソウの睡眠改善・抗うつ様効果の証明とその可能性: 沖縄地域学リポジトリ
... Title [総説]沖縄伝統野菜クワンソウの睡眠改善・抗うつ様効 果の証明とその可能性 Author(s) 吉原, 浩一 Citation 南方資源利用技術研究会誌 = Journal of the society tropical resources technologists, 26(1): 1-10 Issue Date 2010-11-01 ...
11
分娩後の骨盤底筋訓練を助産師が経腟触診で指導することの実行可能性
... に収縮させ，呼吸を止めていきみをかける等の骨盤底 を押し下げる間違った方法で行うため，正確な収縮方 法を指導するためには腟からの触診（以下，経腟触診） が適切である（Bø, 2005）。骨盤底障害の女性を対象に 調査した結果（Moen, et ...
13
ｱｼﾞｱ版MTN（Medium Term Note）ﾌﾟﾛｸﾞﾗﾑの実行可能性に関する調査報告と提言
... MTN のみ定義上分割発行できると明示されているが、実際の運用上は、短期融資債券も 含め、登録から 2 年以内の分割発行が可能である。但し、第一回の発行は、登録時から 2 ヶ月以内に行わなければならない。 主要な発行資格としては、短期融資債券、 MTN にも共通するが、自主規制で、主幹事が ...
250
熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
... 熱対流問題の解に対する計算機援用証明 Some Computer Assisted Proofs for Solutions of the Heat Convection Problems 渡部 善隆 \dagger 中尾 充宏 \ddagger 山本 野人 * 西田 孝明 * Yoshitaka Watanabe Mitsuhiro T.Nakao Nobito Yamamoto Takaaki ...
10
学校的社会化についての一試論 : 「推論実行機械」概念の利用可能性
... に代表される一定の社会的期待のもとにまなざされている。子どもたちは、自分たちに向 けられた期待が状況によって異なることに直面する経験を通じて、状況に応じた志向性の もとで自らのふるまいを選びとることが常に求められていることを知っていくのである。 ...
12
小児がん患者の標準復学支援要領の試作と実行可能性の検証
... 学支援を受けることができる環境の整備を目的に活動しております。その一環として、復学支援 の均てん化と質の向上を目指して「小児がん患者の標準復学支援要領」を作成しました。 本要領の作成過程においては、文献データベースから小児がん患者の復学支援に関連した文献 ...
139
野村資本市場研究所｜G-SIBs、G-SIIs、CCPに係る破綻処理の実行可能性を確保するための政策措置の整備状況（PDF）
... ISDAステイ・プロトコル G-SIBs30社のうち23社（※）は、2014年のISDAレゾリューション・ステイ・プロトコル （2014 ISDA Resolution Stay Protocol）を改定し、OTCデリバティブ契約から証券金融 取引（レポ、セキュリティ・レンディングを含む）に対象範囲を拡張した2015年のISDAユ ...
19
平成２０年度合法性・持続可能性証明システム検証事業
... また、立ち入り検査の規定については、 「規定がない」としたところが 18％（15 件）あった。また、立ち入り検査に実施についても、 「実施した」のは 13％（11 件）にすぎなかった。 「規定がない」としたところは、その理由として「今のと ころ必要がない」としているが、立ち入り検査は、問題の発生を未然に防ぐた ...
10
目次. はじめに..... 本書の対象者..... ご利用環境.... 電子証明書更新手順..... 医療資格証電子証明書オンライン更新サービス画面 ご利用パソコン環境の確認 JAVA 実行環境 電子証明書更新の実行 電子証明書更新発行
... 1. はじめに 日本医師会が発行する医師資格証は、資格証本体に 6 年、IC チップに記録されている電子証明書の情報に 2 年の有効期限が設けられています ※ 。 「医師資格証 電子証明書オンライン更新サービス」は、電子証明書について、ご自身でオンライン更新の 手続きが可能になるサービスです ※※ 。 ...
17
三前号に基づく危険性の除去を行った後に残存する危険性を適 切な防護手段 ( 警報装置を含む ) により 実行可能な限り低減する こと 四第二号に基づく危険性の除去 を行った後に残存する危険性を示すこと ( 医療機器の性能及び機能 ) 要求項目を包含 医療機器及び体外診断用医薬品の製造管理及び品 第
... （リスクマネジメント） 第２条 医療機器の設計及び製造に 係る製造販売業者又は製造業者（以 下「製造販売業者等」という。 ）は、 最新の技術に立脚して医療機器の 安全性を確保しなければならない。 危険性の低減が要求される場合、製 造販売業者等は各危害についての 残存する危険性が許容される範囲 ...
13
リクエストの内容は以下のとおりです 実行する API オペレーションの名前 ( METHOD=name で指定 ) と そのバージョン 注 : METHOD パラメータの後に 任意の順でパラメータを指定できます リクエストを生成した PayPal アカウントを識別する信用証明書 実行する API オ
... PayPal NVP API では、PayPal API サーバーへのリクエストの送信と PayPal API サーバーからのレスポンスの受信に HTTP プロトコルを使用します。HTTP プロトコルを介して送信されるすべてのデータをエンコーディングする必要があります。この理由とし ...
12
JAIST Repository: 技術開発を促進する「特許編集戦略」の可能性について
... 尚、以下では、日本の出願ベースの特許を対象として分析を行っている。優先権主張をしたもの については、通常ＩＰＤＬでは参照できないので、特許庁より出願ベースの明細書を取り寄せて内 容の確認を行なった。 ３．結 果 ...
5
日常言語情報を利用する国語教育の可能性について
... ２．Line の言語 稿者はかつて，メールの文章についていくつか の事例を挙げて論じたことがあるが（小助川貞次 （2006）），近年は業務以外の目的でメールを使う ことは激減し，Line や Twitter や Facebook などの SNS に移行したと言えるかもしれない。そこで は，テキストよりも画像，動画，スタンプなど， ...
9
はじめに オープンソースのCMSであるDrupalに リモートより任意のコードを実行可能な脆弱性が報告されています 本脆弱性を悪用された場合には 遠隔の第三者によって Webサーバの動作権限にて任意のコードを実行されてしまう可能性があります なお 本脆弱性は Drupalgeddon と呼称されてい
... 検証したPoCに関する考察 Drupal7.x用、Drupal8.x用何れのPoCもDrupalのForm APIで利用されている"Special Ele ments"を利用して巧みにリクエストを作り上げて送信しています。"Special Elements"は DrupalのForm ...
24
現代フランスにおける「生命のない子どもの証明書」 －医学および民事身分上の「生存可能性」をめぐって
... とした社会保障制度の拡張がある。ただし，そ の社会保障は「生存可能性あるときに死んで生 まれた子ども」および民事的に存在したあるい は存在している子どもとその親への保障に尽力 されてきたものであった。2008年破棄院判決 は，胚や胎児の身分にかんして，伝統的に医学 や法学において積み上げてきた「合理的」な取 り決めとは別な方向から，「子ども」や「家族」 ...
16
ホスピタリティの発揮を予測する学生用尺度の利用可能性
... 的な要因に焦点をあてた定義、②顧客に対する行動に焦点を当てた定義、③人間関係の構築に焦点 を当てた定義、④顧客あるいは従事者の満足に焦点を当てた定義、⑤社会倫理に焦点を当てた定義） に分類できるとしながらも、概観すると「顧客と従事者の相互満足と新たな人間関係を想像するた ...
10
JAIST Repository: 形式証明の理論依存性解析とその計算可能証明発見への応用
... は、可算選択公理を用いた停止順序の存在は証明できるが、具体的な順序の構成が困難なため未解決問題である。順序 の構成条件の精査と、有限リダクショングラフによる構成的証明に基づき、二つの異なる新たな部分クラスに対し、肯 ...
5
佐藤仁著『反転する環境国家――「持続可能性」の罠をこえて――』 (書評)
... 第 3 章では，19 世紀後半の近代化に差しかかった 時代の日本とタイ王国（1939 年まではシャム）を比 較している。明治政府が導入した地租改正は土地の 所有者個人と国家の契約関係に基づく中央集権的な 構造への転換点となった。同時に，日本は極端な森 林荒廃に代表される資源開発の限界に比較的早い段 ...
5
定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
... 実行状態 ここで定義される確率的プログラミング言語では , プログラムの実行が 進むにつれ, オラクルのエントリと変数割り当ての内容が変化する . したがってプ ログラムの実行状態はオラクルと変数割り当てのペアの確率分布として定義される . 前節の定義に照らせば, ...
10