量化 - Wikipedia
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 概要[編集] 例えば、算術において、「全ての自然数にはその次の数が存在する」と言った場合、あるいは論理学で、「ある議論領域に特定の属性をもつ事象が少なくとも1つ存在する」と言った場合、いずれも量化を行っている。量化を伴う言語要素を量化子（quantifier）と呼ぶ。量化子を使った表現は量化されており、述語や関数の自由変項を量化子によって束縛することで量化が行われる。量化は自然言語でも形式言語でも行われる。自然言語での量化子の例として、「全ての」、「いくつかの」、「多くの」、「一部の」などがある。形式言語では、量化は（論理）式の構成要素の一部であり、ある式から別の式を生成する。言語の意味論によって、それら構成要素が妥当性の範囲でどう解
研究・企業・生き方について - 情報科学若手の会2011 - Preferred Networks Research & Development
岡野原です。 2011/9/17〜2011/9/19に熱海で行われた情報科学若手の会2011に参加し、講演をしてきました。 テーマを決めるに当たって、参加者の年齢、興味分野、スキルの幅が非常に広いということもあり、若手の会参加者のみなさんから質問を前もって聞いておき、それについて回答するという形にしました。 自由に質問を集めたのですが、それらは研究・企業・生き方のテーマにまとめられそうだったので、それらのテーマに沿って講演をしました。 研究 : 自然言語処理、機械学習、それらの今後 企業：起業の話、PreferredInfrastructureの話、 研究をビジネスに適用する際の話 生き方：学生、社会人の心境、アドバイス、 モチベーションの話など 何か一つのメッセージを伝えるというよりは様々な考えや体験談、tipsなどを関係なく並べたものになっています。 皆様にとって何か参考になれば幸いで
女子中学生とブルートフォースアタックと日本やばいという話
女子中学生を名乗るスパムメールが来て釣られてみるかと会いに行ったら本当に女子中学生だった話。あるいは日本の将来やばい。 ありのまま起こったことを話す。女子中学生を名乗るスパムメールが来て釣られてみるかと会いに行ったら本当に女子中学生だった。何を言っているかわからないと思うけれど、自分でも何が起こったのかよく分からない。とりあえず詳しい経過を書いてみる。 最初は1通のメールから始まった一昨日(9/23)の深夜、一通のスパムメールが来た。簡単に「友達になりませんか？」と。普通ならそこで削除して終わりなのだけれど、他のスパムメールと決定的に違うことがあった。送信者のアドレスが@docomo.ne.jpだったのである。 ほぼ釣りか巧妙なスパムだと思ってスルーしていたけれど、ふと「どちらさまですか」と返信してみるとすぐに「XXX（以下、仮にハルカとする）っていいます。中３です！！」と返事が来た。 9
京都大学サマーデザインスクール 2011
【速報 2012/08/30】 京都大学サマーデザインスクール2012が開校されます． ＜速報＞2012年3月、スプリングデザインスクール2012を開校します。 この夏、京都大学初のサマーデザインスクールを開校します。 ここで扱う「デザイン」はプロダクトデザインやグラフィックデザインばかりではなく、 社会のシステムやアーキテクチャのデザインをも含みます。 参加者は幾つかのテーマに分かれ、社会の実問題の解決に挑みます。 各テーマを解決するには、参加者が普段から培っている専門性 （例えば、情報 学、機械工学、建築学、経営学）に加え、 デザイン理論とデザイン手法の習得が必要です。 各テーマはデザイン理論とデザイン手法を実践的に学べるよう、 以下の学習形態 の一方、あるいは両方を含むように構成されています。 PBL (Problem Based Learning) 問題解決型学習 FBL (Fie
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
