Search results for "等価性" | NDL Search

Search results 18

Group by title

国際比較調査における質問項目の翻訳等価性および特異項目機能の方法論的検討

Paper図書

野口裕之, 名古屋大学 [著][野口裕之]2003-2005<Y151-H15530399>

National Diet Library

Subject HeadingDIF / 項目反応理論 / 国際比較 / BILOG-MG / 心理尺度 / 翻訳等価性

決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用

Paper図書

若月光夫, 電気通信大学 [著][若月光夫]2006-2007<Y151-H18500108>

National Diet Library

Subject Heading計算論的学習理論 / 正例からの極限同定 / アルゴリズム / 等価性判定 / 形式言語

個別保険リスクのプライシング理論と保険ポートフォリオのリスク管理法

Paper図書

刈屋武昭, 京都大学 [著][刈屋武昭]2001-2003<Y151-H13630030>

National Diet Library

Subject Heading分散変動モデル / 気温の予測分布 / ゼロコスト・リスクスワップ / 天候デリバティブ / 完全等価性 / モーメント等価性
Additional Title研究種目基盤研究(C) 気温TTリスクスワップの等価性の検証(Kyoto institute of economi...

ソフトウェアの安全性向上のための型理論

Paper図書

小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>

National Diet Library

Subject Heading型システム / プログラム解析 / 割り込み / 並行プログラム / 資源使用法解析 / プログラム等価性 / 双模倣 / 情報流解析

日豪比較によるEVIDENCE BASED PRACTICEの実態調査と尺度開発

Paper図書

岡美智代, 北里大学 [著][岡美智代]2002-2004<Y151-H14572265>

National Diet Library

Subject HeadingEvidence based practice / 国際情報交換 / 尺度開発 / オーストラリア / 研究活用のバリア / 等価性 / 研究への態度

移動式並列型動物実験システムの開発とそれを用いた行動的及び数理的比較認知研究

Paper図書

実森, 正子, 千葉大学1998-2000<Y151-H10610067>

National Diet Library

Subject Heading比較認知装置研究動物実験ハト学習モデル刺激等価性カテゴリー弁別

発達障害児における認知機能の統合化-刺激・反応等価性による分析-

Paper図書

山本, 淳一, 明星大学1992-1993<Y151-H04831009>

National Diet Library

Subject Heading認知機能発達障害児刺激等価性反応等価性言語動画刺激般化見本合わせ

「刺激・反応等価性」パラダイムによる発達障害児の認知・言語の評価と指導

Paper図書

山本淳一, 慶應義塾大学 [著][山本淳一]2001-2003<Y151-H13610114>

National Diet Library

Subject Headingコンピュータ支援教育 / 刺激・反応等価性 / 認知 / 言語 / 読み / 書き / ブロード・バン...

「刺激・反応等価性(equivalence)」に関する実験的行動分析

Paper図書

小川, 隆, 明星大学1990-1991<Y151-H02451017>

National Diet Library

Subject Heading刺激等価性反応等価性認知機能言語行動デンシヨバトセキセイインコ発達障害...

選択行動におけるセルフコントロールとリスクに関する実験的研究

Paper図書

伊藤, 正人, 大阪市立大学1994-1995<Y151-H06610080>

National Diet Library

Subject Heading選択行動セルフコントロールリスク一般対応法則機能的等価性ヒトラツトハト

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究

Paper図書

富樫, 敦, 静岡大学1998-1999<Y151-H10680347>

National Diet Library

Subject Heading高階並行プロセス計算動作的意味論計算モデル高階様相論理タイプシステム高階並行プログラミング言語等価性言語処理系

代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発

Paper図書

富樫, 敦, 東北大学1993-1995<Y151-H05680262>

National Diet Library

Subject Heading並行プロセス自動合成帰納推論時制論理等価性 μ計算プロセス記述プロセス計算

高階並行プロセス計算の基礎理論と実践

Paper図書

富樫, 敦, 静岡大学1996-1997<Y151-H08680343>

National Diet Library

Subject Heading高階並行プロセス計算動作的意味論計算モデル高階様相論理タイプシステム高階並行プログラミング言語等価性言語処理系

離散的システムの等価性判定アルゴリズムとその応用に関する研究

Paper図書

笠井, 琢美, 電気通信大学1987-1989<Y151-S62550259>

National Diet Library

Subject Headingプツシユダウンオートマトン等価性判定アルゴリズム

自己会合を用いる分子識別法の開発

Paper図書

原, 昭二, 東京薬科大学1988-1989<Y151-S62570973>

National Diet Library

Subject Headingアミノ酸誘導体水素結合ジアステレオマー錯体化自己誘起のNMR非等価性不斉識別

リンガフランカとしての英語：要通訳刑事裁判における言語選択及び通訳業務に関する研究

Digital博士論文障害者向け資料あり

マルシャレンコ, ヤコブ2017-09-15

National Diet Library

Subject Heading...世界諸英語英語の非母語話者等価性日本における要通訳刑事手続法律文書の読みやすさ cour...

等価検証の効率化に関する一考察

Digital文書・図像類

松永, 裕介電子情報通信学会CPSY研究会2002-11電子情報通信学会技術研究報告, CPSY2002-63(2002-11)p.73-78

Available onlineOther Libraries in Japan

Summary, etc....な構造の類似性を利用して高速に等価性判定を行なうアルゴリズムについて述べ，前向き走査と後ろ向き...
Subject Heading形式的検証等価性検証二分決定グラフ formal verification...

リンガフランカとしての英語：要通訳刑事裁判における言語選択及び通訳業務に関する研究

Digital博士論文

マルシャレンコ, ヤコブ

Available onlineOther Libraries in Japan

Subject Heading...世界諸英語英語の非母語話者等価性日本における要通訳刑事手続法律文書の読みやすさ cour...

Reached to the end of result.

RSS