大学院プログラムを拡張
証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
... $\frac{\Gamma,A.e.\vdash}{\Gamma\vdash\neg A\cdot i}.\neg I$ $. \frac{\Gamma,A.\varphi,..A\cdot\varphi\vdash}{\Gamma,A\varphi\vdash}.C1$ $\frac{\Gamma,A:\varphi,.\cdot A:\varphi\vdash B.\phi}{\Gamma,A\varphi\vdash ...
22
同志社大学大学院博士課程教育リーディングプログラム グローバル リソース マネジメント 2014 年度履修候補生募集要項
... ４．出願書類 （１）履修候補生 選考 志望理由・研究計画書 〔所定書式（様式１）〕 （２）履修候補生 選考 指導教員 所見 〔所定書式（様式２）〕 ７．に記してあるとおり、履修候補生は、 「ＧＲＭオンサイト実習Ⅰ」を登録履修することがのぞ ましく、４月２９日（火）～５月２日（金）の沖縄県宮古島での現地実習に参加が可能なものは、 参加申込書もあわせて提出してください〔４月１１日（金）17 ...
10
大統一Debian勉強会 gdb+python拡張を使ったデバッグ手法
... gdb を使って php のソースをデバッグする事に ついて 通常、php のデバッグをするのであれば、xdebug を導入 して、vim-nox+debugger plugin/netbean/eclipse 等でデバッ グするのが手軽ですし、強力なデバッグが可能です。 しかしながら、バックグラウンドで動作するような php ...
45
JAIST Repository: 拡張可能なモジュールをサポートするスクリプト言語
... ユーザがそのような環境を活かしてマルチメディア環境を利用するには、そのためにアプリケー ションが必要となり、アプリケーション・ビルダは、マルチメディア処理の中核をなす連続メディ ア処理のプログラミングすることによりこれらを構築することになる。 しかし、連続メディアの特徴として、処理に関する時間的制限が厳しく、情報量が膨大で、厳密 ...
3
「地域・大学院循環型保健学リーダーの育成プログラム」の利用に関する意向調査―群馬県および近県の保健医療従事者を対象として―
... と, 所属機関で研究メンバーを組織し, そのリーダーと して研究を遂行する指導・調整能力を体験的に修得し, 地域保 学リーダー」として地域保 医療の実践活動の 中で活躍できるようになることを目指すものである. ま たカリキュラムの面では新たに「地域保 医療研究概論」 を開講し, オムニバス形式であらゆる角度から地域保 ...
9
エッジに要求されるパフォーマンス、汎用性、アベイラビリティ、信頼性を拡張
... プロバイダーは、このルータ を使用して、家庭向けサービス市場とビジネス サービス市場の両方で、幅広い IP ビデオおよびト リプルプレイ（音声、ビデオ、データ）システム アプリケーションをサポートする高度なネットワーク インフラストラクチャを展開できます。企業は Cisco 7609-S を使用することで、厳しい条件が要求 さ れ る ハ イ ト ラ フ ィ ッ ク 環 境 に 対 ...
6
東北大学 データ科学国際共同大学院プログラム 平成 31 年度 4 月期 (2019 Spring) 学生募集要項
... ※特例として、平成３１年４月に博士課程後期３年の課程の１年次に編入・進学予定で、デー タ科学国際共同大学院運営委員会の承認がある者も出願を認める場合がある。出願時に 「進学可」の判断が行われていないものについては、指導教員は推薦書に、「進学可」と 判断されるに値する十分な能力と成果を志願者が有していることを特記すること。また、 ...
9
政策研究大学院大学における知財プログラムについて 「特技懇」誌のページ（特許庁技術懇話会 会員サイト）
... ングのニセモノの多くは中国経由のものであり、それ を水際で摘発するためのベアリング工業会のニセモノ を見分けるための具体的ノウハウ、さらに、JETROバ ンコク知的財産権部の活躍ぶり（タイの政府機関やバ ンコク日系企業知財研究会を開催するなど現地企業と 密に連絡をとり、現地の情報をきめ細かに把握して、 これら機関と良好な関係を維持する精力的な取り組み ...
7
記憶力に基づくプログラム理解容易性評価尺度の追加実験 村上優佳紗 角田雅照 中村匡秀 近畿大学大学院 近畿大学大学院 神戸大学大学院 要旨 ソフトウェア開発の生産性
... 短期記憶にない定数を得るコスト． BT_VAR: 変数のバックトラックの距離．短期 記憶にない変数を得るコスト． 文献 [3]では，上記のメトリクスが変数の更新回数に基 づく再計算コストを考慮していないことと，バックトラックに 関するメトリクスがプログラムの行の入れ替えに敏感すぎ ることが問題点であるとし，新たな評価尺度を 2 つ提案し ...
6
Ruby拡張ライブラリを作る TA小話 2013 05 24
... 2つの解決策 ● 標準出力によるやりとり パイプなどを用いてデータをプログラム間で受け渡しをする。 愚直でシンプルだし汎用性もあるが、標準出力を読み込む部 分をいちいち記述するのは結構面倒。 ...
10
IRUCAA@TDC : 平成２９年度大学院Elective Study 報告(2)－グローバルプロ養成プログラムコース－
... ３．自己研修 研修終盤では，自分自身で訪問先や企業などのア ポイントを取り実行する研修があった。筆者は，ホ ンダアメリカ，ダンデライオン，シリコンバレーに ある日本の企業，またカリフォルニア州立大学サン フランシスコ校の歯学部の日本人の研究者の方とお 話を伺うことができた。突然のお願いにも関わら ず，お会いした方々は快く了承してくださり，自分 キーワード：エレクティブスタディ，企業訪問，日米未来 Ayaka ...
3
ストリーミング SIMD 拡張命令2 (SSE2) を使用した SAXPY/DAXPY
... このアプリケーション・ノートのパフォーマンス測定は「完全キャッシュ」環境で行っている。 すなわち、すべてのデータが第 1 レベルのプロセッサ・キャッシュ内に収まるようなデータ・ サイズを選択した。また、データはすべて 16 バイト境界にアライメントされているものと仮 定している。これらの条件は、SAXPY(DAXPY)を使用するときの現実的環境とはいえない。 ...
13
平成 25 年度採択プログラム中間評価調書 博士課程教育リーディングプログラムプログラムの概要 [ 公表 ただし 項目 13 については非公表 ] 機関名政策研究大学院大学整理番号 U01 1. 全体責任者 共同実施のプログラムの場合は 全ての構成大学の学長について記入し 取りまとめを行っている大学
... 局観 を持ち、 (2)個々の課題に実効性ある処方箋を提示することができる課題分析能力 と、(3)さらに は 自己の見解を言語や文化、歴史、宗教、民族、国籍などの違いを越えてより多くの人に分かりやす く伝えることができるコミュニケーション能力 を兼ね備えた人材が不可欠である。このような人材は ...
8
透紙: 紙媒体の表現を拡張するシステムの提案
... 拡張するシステムである． LED の光を微小のスリットを施した遮光紙で制御し，ジュエ リーパーツ上で反射させることにより繊細なきらめきを生み出すことを目指している．ま た，液晶ディスプレイのバックライトに用いられる技術としてデジタルディミング [5] が ...
39
日本医科大学内科専門医研修プログラム 内科専門医研修プログラム P.1 内科専攻医研修マニュアル P.19 研修プログラム指導医マニュアル P.24 内科基本コース P.27 各科重点コース P.27 大学院コース P.28
... Motivation を強化する ことができます．その後， 2 ヵ月間を基本として他科（場合によっては連携施設での他科研修含 む）をローテーションします．研修 3 年目には，連携施設における当該 Subspecialty 科におい て内科研修を継続して Subspecialty 領域を重点的に研修するとともに，充足していない症例を ...
31
JAIST Repository: 個人空間を拡張するウェアラブルデバイス「EgoSpace」の開発
... 体 を 検 知 し て LED で 知 ら せ る デ バ イ ス [1]や ， セ ン サ ー で 感 知 し た 音 声 を 骨 伝 導 で ユ ー ザ ー に 伝 え る デ バ イ ス [2]，プ ロ ジ ェ ク シ ョ ン マ ッ ピ ン グ な ど を 用 い て 人 間 の 知 覚 を 拡 張 す る デ バ イ ス Head Light[3]な ど ，ヘ ッ ド マ ...
4
独自のビジネス要求にも対応可能な拡張オプション SecureSphere アプライアンスは拡張モジュールを使用して拡張することにより リモートおよび帯域外管理およびモニタリング パフォーマンス アクセラレーションなどの機能を提供できます 次のオプションが利用可能です インテリジェント プラットフォー
... X8510 を導入した SecureSphere の顧客は、後でアプライアンス・ ソフトウェアをアップグレードし、最大スループット 10Gbps の X10K にプラット フォームを変換することができます。実行中のデータセンタの要求がどんなに厳しい ものでも、 Imperva には SecureSphere の Web、データベース、およびファイル・セキュ ...
8
ASIC設計手法を用いたビット幅拡張CPUの設計
... 5．8 ビット CPU と 4 ビット CPU の処理時間の比較 本研究はデータパス幅の増大・処理時間の低減を目的 とした新たな CPU の設計を目的としているため，本研 究で設計した 8 ビット CPU と当研究室で以前設計を行 った 4 ビット CPU とで目的の 2 点について比較を行っ た．1 つ目のデータパス幅の増大については Verilog HDL ...
6
JAIST Repository: イノベーションを担うコーディネート人材育成のための分野横断研究推進 : 北陸先端科学技術大学院大学21世紀COEプログラムにおける事例(人材問題 (3))
... JAIST Repository https://dspace.jaist.ac.jp/ Title イノベーションを担うコーディネート人材育成のため の分野横断研究推進 : 北陸先端科学技術大学院大学 21世紀COEプログラムにおける事例(人材問題 (3)) Author(s) 小林, 俊哉; 中森, 義輝 Citation 年次学術大会講演要旨集, 21: 796-[r] ...
5
エンタープライズ セキュリティをパブリック クラウドとハイブリッド クラウドに拡張
... パブリック クラウドへの移行は急速に拡大しています。 Gartner は、 パブリック クラウドのグローバル市場 は 2016 年には 2040 億ドルに達すると予想しています。 この急速な普及の主な要因は、柔軟性、拡張性、 シンプルさ、 そして従量課金モデルと低額の初期コストといった、 パブリッククラウドの能力があらゆる地域 間で導入可能であることと考えられます。 ただし、プライベート データ ...
5