Genericsインスタンス生成にける型推論
JAIST Repository: 上海ゲームにおける面白いインスタンス生成
... 上海ゲームにおける面白いインスタンス生成 森長 剛志 †1 池田 心 †1 概要：不完全情報パズルゲームである上海ゲーム (Mahjong Solitaire) は，ゲーム開始時の初期配置によっ て難易度の差が激しいことや確率論的に良い手を打つと裏目に出てしまうことなどがある．ある程度は仕 ...
9
問いの生成を軸とした探究型学習
... k oide Chieko （Tottori University Junior High School） : Exploring -based learning with generation of questions 要旨 ― 本研究の目的は， 教科横断的な探究型学習の実現， 生徒が問いを生成し続ける学習 の実現に向けて， ...
8
JAIST Repository: 対話型グリッドレイアウト生成システム
... を用いた候補選択と対話 型 UI を併用することで，簡便かつ迅速なグリッドレイアウ ト生成を可能にする．また，従来の自動生成やテンプレート を利用した手法とは異なり，提案するシステムはユーザの感 性（要求）を反映することができる．さらに，ユーザの要求 が明確でない場合にも，候補選択により徐々に候補を絞り込 ...
11
インスタンスの実行 お客様は ソフトウェアのインスタンスをメモリに読み込み その 1 つ以上の命令を実行することにより インスタンスを実行 したものとみなされます 実行されると インスタンスはそれがメモリから削除されるまで実行中であるとみなされます その指示が引き続き実行されているか否かには左右され
... 4. アクティベーションの義務。 アクティベーションにより、ソフトウェアの使用が特定のデバイスに関連付けられ ます。アクテ ィベーシ ョン中、 本ソフトウェア により本ソフトウェア および当該デバイスに関する情報がマイクロ ソフトに送信されま す。この情報には、本ソフトウェアのバージ ョン、言語、プロダクト キーの他、デバイスのイ ンターネット プロトコル ...
11
社会に問題解決型形態生成をもたらすソーシャル・イノベーション ―交通系ICカード導入の事例―
... 4 ．結論 交通系 IC カードの導入というイノベーション は、鉄道会社、乗客、バス会社、各商店など多く の関係者にメリットを与えるように交通運賃や各 種商品代金の支払い方式を変更したものであるた め、ソーシャル・イノベーションと呼ぶのに値す るものである。こうしたソーシャル・イノベーシ ョンの本質の第一の側面は、社会システムに新た な要素を導入して「システム統合」の再構成を行 ...
8
長周期非再帰型擬似乱数の並列生成 (確率数値解析に於ける諸問題, V)
... あり, 並列計算専用と言う訳ではない。 並列計算の各プロセスで異なる乱数 系列を使えば , 自然に乱数を並列生成することになる。 以下 , $\mathrm{M}\mathrm{P}\mathrm{I}$ (Me $\mathrm{s}$ sage Pas $\mathrm{s}\mathrm{i}$ ng $\mathrm{i}\mathrm{n}\mathrm{t}$ erface, ...
11
関数型 SIRMs 結合型ファジィ推論法による非線形同定に関する一考察(モデリングと最適化の理論)
... 難しくなる. そこで, システムの入出力データに基づいてファジィ集合とファジィルール を自動的に最適に作成することが望まれる. 最急降下法を用いたファジィ集合とファジィ ルールの学習アルゴリズムがすでにいくつか提案されており [6, 7, 8, 9, 10, 11], 本モデ ルにも適用されている . 本モデルで学習するパラメータは前件部変数のファジィ集合と , ...
8
円筒型バリア放電における棒状電極を用いたオゾン生成
... 2.7 に平行平板型電極方式で、交流電圧を印加した場合の片バリア方式における壁電荷 を示した。ストリーマ中の電荷は、電子は陽極へ、イオンは陰極へ引き寄せられる。電極 が誘電体で覆われていると、電荷は電極に流れ込むことができず、誘電体表面に蓄積され る。この電荷を「壁電荷」という。この壁電荷が正となるサイクル（図 ...2.7 に（a）及び（b））において、電極間の電界 ...
51
理学療法診断に基づく臨床推論の可能性
... 論に依存していた。担当理学療法士の知識と経験に基づく臨床 推論は暗黙知，すなわち主観的であり，臨床経験の差が大きく 影響する。一方，理学療法診断では，理学療法士の知識と経験 に加えて，理学療法検査の標準値と対象者の測定値との比較に よる定量的な予後予測に基づき理学療法プログラムを判断する ...
5
(1) トランス脂肪酸の生成トランス脂肪酸の生成については 次の四つの過程があることが示されています 1) 加工 調理段階で生成 1 植物油等の加工に際し 水素添加の過程において シス型の不飽和脂肪酸から生成 2 植物油等の精製に際し 脱臭の過程において シス型の不飽和脂肪酸から生成 3 油を高温で
... *6 クリーム類には、クリーム、乳等を主原料とする食品、コーヒー用液状クリーミング、クリ ーミングパウダー、植物油脂クリーミング食品が含まれる。 *7 抽出油中 0.05g/100g（定量下限）未満であった。 食品安全委員会では、上記の含有量及び平成 16 年度国民健康・栄養調査における食 品群別摂取量から日本人一日当たりのトランス脂肪酸摂取量を推計（積み上げ方式）し たところ、平均 0.7g（摂取エネルギー換算では約 ...
16
MGTP : モデル生成型定理証明システム : 実装と応用 (プログラム変換と記号・数式処理)
... 探索が始まり , 登録ポインタが $\mathrm{D}_{sp}^{I}\text{から}\mathrm{D}2^{\text{へ}}I$ , 削 除ポインタが $\mathrm{D}_{sp^{\text{から}}2}^{OO_{\text{へ}}}\mathrm{D}\text{進むことになる}$ . この とき , 登録ポインタの $\mathrm{D}_{sp}^{I}\text{の}$ tail を書き換えるだ ...
16
(1) トランス脂肪酸の生成トランス脂肪酸の生成については 次の4つの過程があることが示されています 1) 加工 調理段階で生成 1 植物油等の加工に際し 水素添加の過程において シス型の不飽和脂肪酸から生成 2 植物油等の精製に際し 脱臭の過程において シス型の不飽和脂肪酸から生成 3 油を高温で
... *7 抽出油中 0.05g/100g（定量下限）未満であった。 上記含有量の結果を踏まえ、食品安全委員会において平成 16 年度国民健康・栄養 調査における食品群別摂取量を基に、日本人一日当たりのトランス脂肪酸摂取量を推 計（積み上げ方式）したところ、平均 0.7g（摂取エネルギー換算では約 0.3％）で、 平成 19 年度の同調査を基に同様の試算方法で再度推計した結果も同様の値となりま した。また、平成 ...
18
問いの生成を軸とした探究型学習～図形の性質に着目し, 解決法を見いだす作図授業の研究～
... 3. 授業設計の実際 3.1 問題の所在と新しい提案 中学校学習指導要領の図形領域の目標の中に は， 「見通しをもって作図したり図形の関係につい て調べたりして平面図形についての理解を深めると ともに， 論理的に考察し表現する能力を培う」 とあ る。 しかし， 作図の授業の実際は， 図形の性質 を利用するというよりも作図の仕方が重要視されて いるのではないかと考えられる。 ...
8
Rab27エフェクターMunc13-4のアレルギー反応にお ける役割の解明
... （群馬大院・医・細菌学） 【背景と目的】 UPECは,尿路感染症の主要な起因菌であ り,膀胱上皮細胞に侵入し,I BC ( I nt r a c e l l ul a r Ba c t e r i a l Communi t y )と呼ばれるマイクロコロニーを形成する.こ の機構が,UPEC感染症難治化の原因の 1つであると え られている.我々は,トランスポゾンを用いた遺伝子変異 ライブラリを構築し,I ...
2
そして 取得した OutputStream インスタンスを使い 文字コードは UTF-8 として PrintWriter インスタンスを生成して あとは PrintWriter.append() で書き込みたい文字 列を渡して close() で保存する というだけです ファイルの読込み方法 それで
... -------------------------------------------------------------------------------- ローカルファイルの読込みは、openFileInput()メソッドを使います。 引数にファイル名のみを指定して、入力ストリーム(InputStream)インスタンスを取得しま す。 ...
9
Factory Method 2003/07/18 特徴スーパークラスで複数のインスタンスを管理するためのパターン ( スーパークラス ( の型として ) で扱いたいインスタンスが存在するが, スーパークラスではそのインスタンスを生成せずにインターフェースだけを規定し, 各サブクラスでそのインスタン
... と，表示するメソッドを持つ既存のクラス（Banner）が存在する． 今，文字列を強くあるいは弱く表現するために上の ‘(‘ と ‘*’ をそれぞれ利用して表現したいが，文字列を強 くあるいは弱く表現するメソッド（クラス）も予め用意されているとする． このため，文字列を強くあるいは弱く表現するメソッドを変換させて，文字列を ’（’ あるいは ’＊’ で表現する． 各クラスの説明 ...
12
書き替えシステムで生成される族の推論 (アルゴリズムと計算の理論)
... る言語族の特徴付け定理を与えると向時に、パターン言語族等の興味深い言語族が推論可能となる ことを示した。 しかし、仮説空間に属さない言語を提示した場合、推論機械は正解を出力すること ができない。 そこで、 Mukouchi and $\mathrm{A}\mathrm{r}\mathrm{i}\mathrm{k}\mathrm{a}\mathrm{W}\mathrm{a}[7]$ ...
8
JAIST Repository: 法的推論のための論理型イベント言語
... 法的推論のための論理型イベント言語 兼 岩 憲 † 東 条 敏 †† 法的推論システムの実現には，法令文のルール知識に加えて判例を描写するイベント（一回性の事 象）のための表現手段が必要である．特に，判例の中身は複数のイベントによって展開されており， ...
17
レコード class Point attr_accessor("x", "y") インスタンス変数の宣言 point.rb
... オブジェクト指向では • オブジェクト（ここではレコードのこと）に自分に 対する操作の仕方を覚えさせる – Pointのレコードに，スカラー倍，ベクトル和などの 操作を覚えさせる ...
39
はしがき 本書は CLUSTERPRO MC ApplicationMonitor 2.2 for Linux( 以後 ApplicationMonitor と記載しま す ) の動作に必要な手順について記載したものです (1) 本書は 次の用語を使用します 用語インスタンス ASM インスタンス
... ApplicationMonitor は、64 ビット用の Oracle ライブラリを使用します。そのため、設定 ファイルの SHLIB_PATH パラメータには、64 ビットの Oracle ライブラリを指定してく ださい。 監視間隔やタイムアウト値を短くすると、早期に障害を検出できますが、同時に監視によ ...
30