INRIA の検索結果 (5件 1〜 5 件を表示)

プログラムの形式的証明は本当に使い物になるのでしょうか?

…近年プログラミングの世界でも VDM(http://en.wikipedia.org/wiki/Vienna_Development_Method) に代表さ れる形式的証明がもてはやされ始めました。 でも私には、プログラムの形式 的証明は、うさんくさい...…

締切

期待値の計算

…自分で考えた問題(ありがちそうです)なのですが答えが出せずに苦しんでます。 「商品の付録として5種類の景品があります。 買うときには付録は選べません。 5個の景品を全部そろえるた...…

解決

ドリフト項って何ですか

…制御工学におけるドリフト項って何ですか. 非ホロノミックという言葉と一緒に出てくるんですがよくわかりません. 知ってる方はよろしくお願いします.…

解決

sinx/x の積分

…sinx/x の積分について質問です。 積分範囲-∞〜+∞だと求めることができますが、 積分範囲a(定数) 〜+∞の場合、求めることは可能でしょうか? 教えてください。 よろしくお願い致します。…

解決

第二種スターリング数の母関数の組合せ論・計数子による解釈

…1,2,3,…,nのn個の数字を、k種類の区別のないグループに分ける場合の数を、第二種スターリング数と言って、ここでは、S(n,k) と書きます。 すると、1,2,3,…,nのn個の数字を、k種類の区別のあ...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ