暗号理論アプローチにおけるいくつかの
民事裁判におけるいくつかの論点について
... てＸの控訴を棄却（自判）した。松本教授は、これについて、Ｘしか控訴していない のであるから、296条1項により控訴審における審理は専らＹの相殺の抗弁の当否に限 られ、α債権の存否は審理の対象とはならない。したがって、相殺の抗弁が容れられ ...
115
いくつかの自由境界問題に対するスペクトル選点法の応用(科学技術における数値計算の理論と応用)
... のステファン問題における爆発現象の数値解析を考える . 十分な計算精度を確保しないと 解が負になってしまって数値計算ができなくなり, 図 1 のようなペリースローな現象の後 のダイナミクスの解析できない . 因みに図 1 の計算は容易に実現できる範囲内でもっとも 高精度である, 空間を 2 次の差分, 時間を 4 ...
9
理工系数学教育の問題点といくつかの試み (教育数学の一側面 : 高等教育における数学の規格とは)
... 自身の経験に基づいたと思われる。大学に工学部が作られたのは、工部大学校が世界で初めてであり、Dyer は帰国後これをスコットランドに逆輸入している。一方で、理科大学の中心となった菊池大麓はイングランド へ留学したので、カリキュラム編成もイングランドのものに従ったのであろう。日本の近代大学教育の出発時 ...
4
「失われた20 年」における賃金と物価を巡るいくつかの論点について
... 国が世界の財市場に参入してくると，世界経済の未熟練労働は増加し，未熟練労働集約産業 の価格の低下を通じて，理論的には先進国の未熟練労働者の賃金は低下すると考えられる（リ プチンスキーの定理）。このような定理が現実に経済において，未熟練労働の賃金低迷や賃 ...
24
教育評価におけるルーブリック作成のためのいくつかのヒントの提案 ―パフォーマンス評価とポートフォリオ評価に着目して―
... 調しすぎている印象を筆者は抱いている。たとえ標 準的なテストであっても，そのテストがより自然な 形で児童生徒に与えられ，彼らの長所も見いだされ るように設計され，日常的なリアルな課題になって いて，メタ認知を促すように 用され，親にも子ど もの知識を熟 させるように作成・返却されるので あれば，標準テストであっても，「真正の評価」へと ...
12
自由分解の幾何学的構成法とその特異点論への応用 (特異点論におけるいくつかの話題)
... $0arrow\hat{C}_{-\ell 0}\downarrow,arrow\cdotsarrow\hat{C}_{2,0}]arrow\hat{C}_{1,0}]arrow\hat{c}_{00}\downarrow,arrow 0$ ...
41
Generic拡大における射影集合の規則性に関連したいくつかの問題 (実数の集合論と計算論)
... 次の補題からわかる . 補題 2. $f_{\dot{\mathrm{V}}}$ がラムゼイ基数であれば $\mathrm{T}^{\gamma_{h}}$ . $\models(\tilde{C,.})$ となる . [ 証明 ] ラムゼイ基数の存在は $\mathrm{D}\mathrm{e}\mathrm{t}..(\Pi_{1}^{1})$ を含意する . したがってそれはまた (C) を含意する. ...
4
いくつかのロバン型境界条件と有限要素法への応用について (応用数理と計算科学における理論と応用の融合)
... Second, 1.2 can be seen as a transmission condition between $\Omega$ and $\Gamma$, where two equations -\triangle u=f and $\alpha$ u=h are interacting with each other through the Neumann[r] ...
13
ファジイ非線形写像の最小化に関するいくつかの話題について (不確実・不確定性のもとでの数理的決定理論)
... とする . ここで $’\iota\iota(X),$ $\beta(x)$ は $E$ 上で微分可能であるとする. このとき $F$ は $E$ のすべての点に おいて片側方向微分可能となり , その $X$ における $h$ 方向の片側方向微分は次のように表される . $F’(x;h)=(\nabla m(x)h, ...
5
知識の証明と暗号技術 (代数系アルゴリズムと言語および計算理論)
... g_{i}^{a_{i}}$ の実行ステップに出くわすと、 自身でそれを計算することはせず、 その代わりに群演算オ ラクルに $(g_{1}, \ldots, g_{i}),$ $(a_{1}, \ldots, a_{i})$ を問い合わせ、返答 $K\iota$ をもらってその後の処理を続ける。各アルゴ リズムが自身では決して群演算できないように、 ...
21
RIETI - 相互協議に関するいくつかの問題
... 租税条約に仲裁規定を定め、国際的二重課税が生じた場合に第三者たる仲裁機関が下し た判断が納税者を拘束することとなると、納税者の裁判を受ける権利を侵害しないかが問 題となろう。しかしながら、納税者が仲裁判断に拘束されることを同意して仲裁に付され る限り、それが憲法上の裁判を受ける権利を侵害するものとはいえないように思われる。 ...
17
スミスは富の原因がいくつあると考えたか ―『法学講義』行政論と『国富論』の理論構成の比較―
... ⑷商業の悪影響の是正策（学校） ⑸歳入論（租税と国債） ⑹軍備論（常備軍） 以下では，スミスがこれら６源泉をどのように組み合わせて『国富論』第５編を構成したかについて考 察する。最初に問われるべき問題は，第５編が形成されるときに何が理論的中核になったかである。本稿 ...
15
汎用アルゴリズムとしてのCSP(制約充足問題)に対するタブー探索アプローチ(離散数理と連続数理における最適化理論)
... nurse scheduling problems. Key Words: combinatorial problem, general problem solver, CSP, meta-heuristics, tabu search. 1 はじめに 現実社会に現れる問題には , 配置問題や輸送問題, スケジューリング問題のような組合せ問題 ( 組合せ最適化問 題 ) がその中心となっていることが少なくない. しかし , ...
13
スパース推定における確率集中不等式 (高次元量子トモグラフィにおける統計理論的なアプローチ)
... スパース推定の精度解析において有用な確率集中不等式を紹介する．また，確率 集中不等式を用いて実際に精度の上界を求める．その際に，スパース推定の理論解析 において標準的ないくつかのデザイン行列の条件を紹介する． $L_{1}$ 正則化を用いること ...
10
RIETI - エイジ・フリーの法政策―労働市場アプローチか、人権保障アプローチか―
... ３ 公務員とエイジ・フリー 公務分野におけるエイジ・フリーも近年議論になった。最初にこの問題に言及したのは、 2003 年の人事院勧告（別紙 3「公務員制度改革の具体化に向けて」）であった。そこでは、 「採用試験の受験資格として設けられている年齢制限については、年齢にかかわりなく均 ...
30
コラッツ予想に関連するいくつかの関数について
... 半群のカテゴリーにおける定理である。これら２つの定理の一方から他方が導かれるわけではない。しかし２つ の定理の主張するところがよく似ているのは確かである。証明については, カテゴリーが異なるので似ていると は言えないが, ...
8
双符号形式による楕円曲線暗号系(計算理論とアルゴリズムの新展開)
... せ論とコンピュータ科学のたくさんの分枝と関連している. 特に, 形式言語理論の分枝としてとて も深く発展してきた . その – 方 , 多チャンネル符号理論は–般にエントロピー, 伝送速度 , 雑音 , チャ ンネル容量 , 歪曲速度などのような情報理論の概念と関係している. もし代数学, 形式言語理論と ...
7
HOKUGA: 学問と対象 : ユダヤ学に関するいくつかの予備的考察
... ㅟ の ㅟ 存 ㅟ 在 ㅟ と，そ ㅟ の ㅟ よ ㅟ う ㅟ な ㅟ 主 ㅟ 体 ㅟ の ㅟ 対 ㅟ 象 ㅟ に ㅟ 対 ㅟ す ㅟ る ㅟ 関 ㅟ わ ㅟ り ㅟ 方 ㅟ ― ここでの関わり方とは 反省された学問的方法論ではなく，より直接的な主体的体験のごときもの である ― が前面に出てくることになる。文献学的な方法ではユダヤ人の ...
24
Fuzzy $c$-means モデルに対する多目的最適化アプローチ (不確実な状況における意思決定の理論と応用)
... の同質性を保証している $[2, 7]$ . それゆえに , 同質性の基準に焦点を当てたソフトクラスタリング手 法が多く提案されていた . ところが , その基準だけでは以下に述べるように不十分であるということ が後に認識された. 複数のクラスターに各々のデータが跨ることを許したため, 幾つかのクラスター ...
6
AND-EXOR 論理式の暗号プロトコルへの応用(計算理論とアルゴリズムの新展開)
... 3 ビット必要であるので, (2, 1;3)- プロトコルである . 3 むすび 本論文では, 極小モデルにおける安全な計算という問題に対して , そのような計算を実現する 新しいプロトコルを提案した . 提案プロトコルは, 安全な計算に ESOP 表現を応用したものであ り, 全ての関数に対して計算可能である . また, 既存プロトコルよりも単純なプロトコルであり , ...
7