JFAテクニカルレポート（GK編）
テクニカルレポート6.indd
... 7 地温の影響を加味した地磁気絶対観測基線値の推定と絶対観測の再観測頻度 度の補正を施した観測基線値を用いて観測頻度の 低下に伴う精度をシミュレーションし，隔週観測と すると再観測の頻度が著しく増加し，実務上精度を 維持するのは困難だと結論付けた．さらに，彼らは， 温度変化による土壌の磁場変化を定量的に取り入 れることで，評価手法の改善を図る必要性について 言及した． [r] ...
16
日本版WISC-IVテクニカルレポート #6
... 日本版 WISC-IV テクニカルレポート #6 © 2013 日本文化科学社 2 ©2013 NCS Pearson, Inc. 『WISC-IV 換算アシスタント（Ver.1.0） 』より、許可を得て転載 図 1 「プロフィール・粗点登録」画面 データの入力中や、レポートのプレビュー後であっても、比較の基準などを変更して結果を出 力したい場合には、 ...
5
文字情報基盤Webテクニカルレポート
... 【実証実験サイトの課題】 Web フォント表示を優先させたため、表 11 で列挙した一部例外を無視する表示パター ンを適用した。このため、たとえば、表 11 で列挙した例外(*3)の CJK 統合漢字拡張 A が 表示されない OS とブラウザの組み合わせの場合、CJK 統合漢字拡張 A の文字は Web フォ ントの字形では表示されず、ブラウザのデフォルトフォン[r] ...
35
日本版WISC-IVテクニカルレポート #3
... WISC-IV テクニカルレポート #3 © 2012 日本文化科学社 1 ― 要旨 ――――――――――――――――――――――――――――――――――――――― 日本版 WISC-IV が刊行されてから 1 年余りが過ぎた。その間、新しい下位検査の実施や解釈に 関する質問を数多く頂戴してきた。これらを踏まえて、今回のテクニカルレポートでは、新しい 下位検査の 1 ...
8
日本版WISC-IVテクニカルレポート #8
... Specifically, the study aimed to verify the following three purposes through a confirmatory factor analysis: which factor structure better matches the normative data — the one hypothe[r] ...
9
日本版WISC-IVテクニカルレポート #2
... WISC-IV テクニカルレポート #2 © 2012 日本文化科学社 3 検査問題・記録用紙の管理について ・・記入済みの記録用紙を含んだ検査用具の機密を守り、適正な使用を守る専門家以外には検査用 具を公開しないことは、使用者の責任である。受検者やその親あるいは保護者に検査結果の概要を説 明することは妥当であるが、そうした場合も、検査としての WISC-IV のセキュリティや妥当性、価 ...
5
テクニカルレポート | GRACEセンター
... In this paper, we propose a novel algebraic framework for bidirectional model transformation to solve these prob- lems, by integrating two state-of-the-art techniques: bidi- rectional tr[r] ...
14
GRACE TR 2016 04 テクニカルレポート | GRACEセンター
... Figure 6 represents the analysis rules for determining whether free-edits are possible. The main principle behind the rules is that analysis fails whenever a label variable or a constant[r] ...
17
GRACE TR 2016 03 テクニカルレポート | GRACEセンター
... If we extract the relation of elements in the original view to the elements in the modified view, then the alignment performed when updating the source can be completely correct.. The re[r] ...
9
GRACE TR 2016 02 テクニカルレポート | GRACEセンター
... We show how to deal with iterative queries by transforming iterative query computation to computation of the fixed point of a flat query function, from which a set of constraints can be [r] ...
13
GRACE TR 2016 01 テクニカルレポート | GRACEセンター
... In the rest of this section, we will elaborate the core of our framework: (A) context feature models to capture running contexts, (B) formal definition of view- based adaptation νRules, [r] ...
27
GRACE TR 2015 08 テクニカルレポート | GRACEセンター
... Also note that for the RecE - labeled branches, we choose the corresponding edge from the body expression of struc- tural recursion first, rather than from the argument expression, to ma[r] ...
43
GRACE TR 2015 07 テクニカルレポート | GRACEセンター
... The case study showed that the results of our analysis are valid at the implementation unless spontaneous changes in the environment occur and that the analysis can complete within reaso[r] ...
31
GRACE TR 2015 06 テクニカルレポート | GRACEセンター
... Abstract. The traceability between a software requirement specification in nat- ural language and its corresponding formal specification plays an important role in development and mainte[r] ...
145
テクニカルレポート | GRACEセンター
... Our compositional framework for model transformations is based on UnQL [5], a language that was originally designed for querying unstructured data such as graphs.. It has convenient sele[r] ...
37
テクニカルレポート | GRACEセンター
... For ex- ample, we can teach formal specification, refinement, and formal verification in three different courses, and it would be effective to focus the teaching in each of them on the m[r] ...
86
テクニカルレポート6.indd
... 大和田毅，森山多加志，森永健司 FM10 の補正した基線値を示す．図中の H’+L は 傾斜補正基線値，H”+L+Tx 等は傾斜補正基線値 に検出器と地中温度を補正した基線値（以後，温 度補正基線値と呼ぶ）で，x は使用した地中温度の 深さを示す．H 等は何の補正もしていない観測基 線値である．女満別の FM10 については，3m 深地 温と 5m 深地温の相関が何れも[r] ...
15
テクニカルレポート | GRACEセンター
... In our approach, first, domain engi- neers choose features of interest (called initial features); second, a set of features and relationships that may help domain engineers refine the fe[r] ...
23
テクニカルレポート | GRACEセンター
... The data processing point has two processing types: aggregation ( Aggregation- Point ) dealing with a single data type and fusion ( FusionPoint ) dealing with multiple data types into a [r] ...
9
テクニカルレポート | GRACEセンター
... In this paper, we show that the bulk semantics of structural recursion can be extended to ordered graphs, and that a clear bidirectional semantics of a new graph transformation lan- guag[r] ...
24