Search results for "公平性" | NDL Search

Search results 19

Group by title

インターネットと高親和性を有する次世代低軌道衛星ネットワークに関する基盤研究

Paper図書

加藤寧, 東北大学 [著][加藤寧]2005-2007<Y151-H17500030>

National Diet Library

Subject Heading低軌道衛星 / インターネット / シームレス接続 / モビリティ / 公平性

格差の世代間移転と意欲促進型社会システムの研究

Paper図書

橘木俊詔, 京都大学 [著][橘木俊詔]2004-2006<Y151-H16203016>

National Diet Library

Subject Heading意欲促進 / 分配問題 / 公平性 / 教育 / 人的投資 / 税制 / 階層化 / 資産蓄積

世代会計による人口減少・高齢社会での世代間衡平に関する研究

Paper図書

吉田浩, 東北大学 [著][吉田浩]2006-2007<Y151-H18330056>

National Diet Library

Subject Heading財政学 / 高齢化 / 社会資本 / 世代会計 / 公平性 / 所得再分配 / 公共部門 / 行政改革

高齢化社会の公共性と共同性の基盤的構想に関する社会学的総合研究

Paper図書

盛山和夫, 東京大学 [著][盛山和夫]2002-2005<Y151-H14201020>

National Diet Library

Subject Heading高齢化 / 少子化 / 公共性 / 自由 / 平等 / リベラリズム / 年金 / 公平性

財政調整制度の国際比較

Paper図書

持田信樹, 東京大学 [著][持田信樹]2003-2005<Y151-H15330062>

National Diet Library

Subject Heading地方財政 / 地方財政調整制度 / 公平性 / 効率性 / 地域格差 / 地方分権 / 地方税 / 事...

男女雇用機会均等法1期生の現状と人事管理上の成果と問題

Paper図書

前田勲, 聖徳大学短期大学部 [著][前田勲]2002-2004<Y151-H14530165>

National Diet Library

Subject Heading均等法1期生 / 総合職女性社員 / 男女共同参画社会 / 透明性のある人事考課 / 評価の公平性

パフォーマンス・アセスメントによる高次思考能力の測定

Paper図書

平井洋子, 首都大学東京 (東京都立大学) [著][平井洋子]2002-2004<Y151-H14510158>

National Diet Library

Subject Headingパフォーマンス・アセスメント / 高次思考能力 / 測定の妥当性 / 主観的評定 / 公平性

環境条件によって重み付けされた距離に基づく迷惑施設の最適配置問題に関する研究

Paper図書

及川, 清昭, 東京大学2000-2001<Y151-H12650610>

National Diet Library

Subject Heading迷惑施設施設配置ウエーバー問題 NIMBY マクシミン問題公平性最適配置重み付け距離

ワイヤレスインターネットにおける効率的コンテンツ配信技術に関する研究

Paper図書

山本幹, 関西大学, 大阪大学 [著][山本幹]2004-2005<Y151-H16360189>

National Diet Library

Subject Headingワイヤレスインターネット / コンテンツ配信 / マルチキャスト / 公平性 / 輻輳制御 / モバイル通信 / ハンドオーバ

資源予約による品質保証のためのスケジユーリング方式に関する研究

Paper図書

計, 宇生, 学術情報センター1996-1997<Y151-H08680446>

National Diet Library

Subject Headingスケジユーリングサービス規律サービス品質資源管理公平性

IP over WDMにおいてQoSを考慮した光信号転送方式

Paper図書

笹瀬巌, 慶應義塾大学 [著][笹瀬巌]2003-2004<Y151-H15560334>

National Diet Library

Subject HeadingIP over WDM / WDMメトロリングネットワーク / メディアアクセス制御 / 光バースト交換網 / 複合バースト信号 / QoS制御 / 遅延 / 公平性

次世代IPネットワークにおけるQoS制御の研究

Paper図書

中川健治, 長岡技術科学大学 [著][中川健治]2003-2005<Y151-H15560322>

National Diet Library

Subject Heading実効帯域制御方式 / 帯域割り当ての公平性 / パケット損失率 / キュー長の定常確立 / 複素函数論...

解答過程の分析による障害受験生に対する試験時間延長量の推定理論の吟味

Paper図書

藤芳, 衛, 大学入試センター1996-1997<Y151-H08680248>

National Diet Library

Subject Heading試験時間受験特別措置点字問題障害学生試験の公平性入試制度時間-得点率曲線

論理式肥大に伴う活性のモデル検査の非効率化の改善

Digital文書・図像類

緒方, 和博2014-04-23科学研究費助成事業研究成果報告書p.1-4

Other Libraries in Japan

Subject Headingモデル検査活性公平性準公平性分割統治公平性の理解反例 Maude
Note (General)公平性のもとでの活性のモデル検査対象の論理式は"公平性 ⇒ 活性"の形をとる。この論......の計算と空間を必要とするため、公平性が大きくなるとBuchiオート......もできなくなる。本研究では、"公平性 ⇒ 準公平性"を満たし、公平性より小さな論理式である準公平性を探し、"準公平性 ⇒ 活性"をモデル検査することで公平性のもとでのモデル検査を可能とする方法を提案する。すなわち、"公平性 ⇒ 活性"の代わりに、"公平性⇒ 準公平性" と"準公平性 ⇒ 活性"をモデル検査することである。 : Model c...