充足可能性問題解決器
充足可能性問題のアルゴリズム
... We present the background of the SAT problem as well as typical algorithms for solving the problem... [3]R.Moser,andD.Scheder,A血llderandomizationof Sch6n血g「sl(-SATalgorith[r] ...
4
RIETI - 日本の財政問題：問題意識と解決のための処方箋の切り口
... 一方、「増分主義」の適用は、要求官庁の側からすれば、前年度までに獲得した予算（額） の「既得権益化」を意味し、予算全体の省庁別、分野別の配分の硬直化を招いた面もある。 このため、経済構造が大きく変化し、税収が落ち込んだ場合、予算を削減したり、リスト ラクチュアリングしたりすることは非常に困難になる。事実、80 年代の財政再建時期に支 出削減のために取られた手法は、マイナス・シーリングによる各省庁予算の一律削減であ る。確かに、 ...
45
社会問題の解決に資する
... から眺めることを可能とさせる「知識構造ビューア」を開発した．知識構造ビューアの開発により，社会 問題の階層性や分野ごとの情報の多寡，様々な価値基準によって異なって見える社会問題の構造を一目瞭 然に示すことが可能となり，書籍やインターネットの利用時とは異なった形での事実の明示化が可能とな ...
7
日本における少子化問題と移民受け入れの可能性 : 人口動態と日本経済の近未来を考える
... それではもし情報が不確実であればどうなるであろう か．この場合相手の価値は事前には分からないが，しば らく交際をすれば知ることができると考える．そして何 人かの相手と交際し，そのなかでこれぞと思う相手と出 会ったときに結婚を決断することになる（ただし交際は 一度に一人の相手としかできず，またそれには一定期間 を要し，一度結婚を決断したらそれ以後のサーチはでき ない）．ここで問題は，何人くらいの相手と交際して結 ...
28
RIETI - WTO紛争解決手続における多数国間環境条約の位置づけ―適用法としての可能性を中心に―
... ような問題意識からであろう。ところで、実際にそのような紛争が WTO 紛争解決手続に付 託された場合に、同手続において MEA はどのような位置づけを与えられるのであろうか。 パネルや上級委員会は、そもそも MEA の中の抵触規則や一般国際法上の抵触規則に従って MEA を優先的に適用し、当該 MEA に基づく貿易制限措置の WTO 法適合性を認めること ができるのであろうか。MEA ...
26
靖国神社問題の解決に向けて
... 5． 分祀と新追悼施設の可能性 今まで靖国神社問題を解決するために 2 つの提案が出された。それは A 級戦犯の分祀と新追悼施 設の設置である。しばしば問題を引き起こした一番大きな原因は前にも記述したようになぜその 14 人の A 級戦犯が靖国神社で祭神として慰霊されているのかということである。従って、A 級戦犯者 ...
5
高齢者虐待問題における民間非営利活動組織の役割と可能性 [ PDF
... 上記の２つの組織に共通していえることは、どちらも 「専門性」があるということだ。つまり、高齢者虐待問 題において、直接高齢者自身へ何らかの対応をしていく ためには「専門性」が重要な要素を担うと考えられる。 また、 「権利擁護」という観点から、高齢者虐待問題に取 り組んでいる組織でもある。それは、高齢者虐待が痴呆 の人や寝たきり高齢者に対して、よく行われる病理行動 ...
4
中国「三農」問題：評価と解決の道筋
... 中国「三農」問題について言うと、その解決に影響する障害要因は、短期的には体制的 問題、すなわち、社会保障制度、農村土地制度、農村金融制度、労働力市場、農民組織、 政府体制等の都市農村二元社会体制および高度集中・集権的資源配置体制に起因するもの である。ただし、長期的に見ると、中国「三農」問題の解決に影響する障害要因は、中国 ...
6
問題解決における学習者の工夫の様相に関する研究
... 効 性 の あ る 指 導 法 を 実 践 し て し ま う と い う 状 況 で あ る 。 受 験 を 控 え た 子 ど も か ら も 「 理 屈 よ り も 解 き 方 を 教 え て ほ し い 」 と 言 わ れ る こ と も 珍 し く は な い と 聞 く 。 確 か に 問 題 の 解 法 を 教 師 側 が 見 せ れ ば 、 子 ど も は そ れ を 忠 実 に 実 行 す る こ と に ...
52
バナナペーパーによる環境問題と貧困問題の解決
... 主な活動としては、3 つある。まず 1 つ目はワンプラネット・ペーパー®の普及・広報活動。次に 2 つ 目は環境・社会課題やフェアトレード、エシカル購入等に関する世界の動きと、持続可能な紙や企業活 動についての研究、情報発信。最後に 3 つ目は商品企画、営業活動における恊働である。 “環境と社会に価値を生み出す、持続可能な紙事業、紙産業を実現する”をビジョンに、 “パートナー ...
15
1 世帯当たりのCO 2排出量 目指す姿 環境配慮と快適性 経済性を両立する グリーンファースト戦略 を推進 積水ハウスは住宅メーカーの責任として エネルギー問題や地球環境問題といった重要な社会課題の解決に貢献しながら 持続可能な事業の推進を目指しています 省エネルギー性を基本性能の一つと位置付け
... 太陽光発電システム年間設置実績（2015年2月～2016年1月） 新築戸建住宅・低層賃貸住宅における普及促進 太陽光発電システムは、再生可能エネルギー固定価格買取制度による後押しもあり、普及が進んでいます。 当社のオリジナル「瓦一体型太陽光発電システム」に採用される発電パネルは、瓦と同じサイズで設計され、瓦と置き換える ...
43
最大充足可能性問題の疎な例題に対する厳密アルゴリズム
... 節とはリテラルの論理和であり，リテラルとはブール 変数とその否定である．また各節が高々 k個のリテラルし か含まないものを Max k-SATと呼ぶ．これらの問題は代 表的な NP困難問題の 1 つである．n変数，m節からなる Max SATのインスタンスが与えられたとき，自明に O(m2 n )時間で解ける．我々の目標は，Max SATをある絶 対定数μ >0 に対して，O(poly(m)2 (1- ...
3
数学的問題解決における〈イメージ〉の機能に関する研究
... 能 性 も 期 待 で き る 。 以 上 の 点 か ら ， > 5 8 6 よ り も > 5 9 6 の 方 が 教 育 の 立 場 か ら 見 れ ば 望 ま し い 。 し た が っ て ， R 5 8 6 を 用 い て > 5 8 6 へ と 至 っ て い る 生 徒 に R 5 9 6 を 用 い さ せ る こ と に よ り ， > 5 9 6 へ と 高 め る こ と が ...
113
亜鉛めっき鋼板のガスシールドアーク溶接 ― 問題点と解決策 ―
... 以上の①2 段パルス波形、②1.2mmφ⇒1.0mmφの細径化を組み合わせた結果、図 18 に示すよう に、大幅なスパッタ低減を実現した。 図 18 スパッタ低減効果 J-Solution TM Zn は、 「溶接材料」、「シールドガス」、「溶接電源」の最適化を図ることによって、従 来達成できなかった亜鉛めっき鋼板の溶接における耐気孔性と低スパッタ性を兼ね備えた新コンセ ...
11
QPS の既知の問題および解決済みの問題
... Studioのリッチ化機能やePUBインタラクティブ機能を使用している画像ボックスがQPSプロジェクトに含まれていて 、それらの画像ボックスのうち2つで、同じ名前の2つの異なるファイルを使用していると、問題が発生する可能性が ある。このようなプロジェクトのリビジョンを保存してePUB形式またはAVE形式でレイアウトを書き出すと、同じ名 ...
15
「商店街問題」に、これという絶対的な解決策はない
... 具体的な観光振興策を検討していく場合、可能 な限り初詣客を除いた観光入込客数によって実態 把握、比較分析を行い、季節変動の平準化、閑散 期の底上げなどを考えていかなければならない。 ●気軽に参加できるイベントの充実、時期の多様化 奈良県の行祭事・イベントの観光入込客数（延 べ数：2011年 ）は約300万人 であるが、 7-9月期 （41.8％）に集中しており、行楽シーズンの10- 12月期 （15.8 ％）は四 半期で最 ...
20
運動器理学療法のパラダイムシフト─新たなる可能性への挑戦─
... 法律上，医師の指示が必要である日本の理学療法士は，運動 器疾患の理学療法を行うためには，整形外科医の診察を受けた 患者を対象とする。医師により様々な医学的検査の結果，診断 名，治療方針が決定され，理学療法の適応があると判断された 場合に，理学療法が開始となる。理学療法士は，International Classification of Functioing, Disability and Health（ICF）の概 ...
2
「商店街問題」に、これという絶対的な解決策はない
... 奈良県内で働き場所を提供できていなくても、 県外で働いた雇用所得を県内へ持ち帰ってくれて いる と 肯定 的に 見 るこ と も可 能 であ る。 但 し、 2010年 の県外 就業者 数を 05年 と比較 すると 、男 性は15,062人減少（11.2％減：05年134,864人）、 女性は2,984人減 少（5.8％減：同 51,176人）し ている。県外就業者数の減少は、「県外からの所 ...
16
RIETI - WTO紛争解決手続における非効率的違反の可能性 ―法と経済学的分析―
... ５．おわりに 本稿は、紛争解決手続が非効率的違反をどの程度抑止できるのかという問題に対して、 簡単なゲーム理論のモデルを使って分析することにより答えようとするものであった。 繰り返しになるが、ここで本稿の結論をもう一度見ておこう。現在の紛争解決手続の枠 組みにおいては経済的利益という観点から見て効率的でない違反を行い、もし敗訴すれば ...
33
ボランティア活動における問題点と今後の解決策について
... 次に「災害地など現場で行なわれるボランティア活動」について注目すると、災害地で の活動は多くの人々と接する機会が多く、その中でやりがいや活動を通じて学ぶことが多 いという利点がある。しかし活動に参加するまでの費用や時間、そして現地に直接赴く労 力がきついという心身的な負担も多くあり、人によっては被災地に行くことへの恐怖心や 抵抗感という苦手意識が付きまとうということあると思う。被災地に来て活動するのはい ...
20