丁寧語とか、礼儀正しく書いてみる日記２：01/12 口蹄疫情報は半島メディアを御覧ください
★161130 熊本地震におけるピースボートに関した細かい情報が、「仕事の支障になる」とのことで一部削除致しました。 ★171108 ぱよちん記事における「ご本人様」が御写真がアレだとのことで削除されておりました ＠管理人 【海外】口蹄疫感染122か所に、家畜140万頭以上処分 http://raicho.2ch.net/test/read.cgi/newsplus/1294744848/ 1 名前：偽FOX ★[] 投稿日：2011/01/11(火) 20:20:48 ID:???0 【海外】口蹄疫感染122か所に、家畜140万頭以上処分 http://dailynews.yahoo.co.jp/fc/world/korea_south/?1294724196 聯合ニュース 1月11日(火)13時53分配信 【ソウル11日聯合ニュース】昨年11月28日に慶尚北道・安東で発生した口蹄疫（こ
続・妄想的日常 巧妙な手口
361 名前：彼氏いない歴774年[sage] 投稿日：2011/01/09(日) 17:34:40 ID:Hu2VLT+f イケメンと幼稚園～小学生くらいのかなり可愛い顔の男の子が居ました 彼らの関係はわかりませんが、多分親戚か何かだと思います そして男の子は清潔な身形でしたが、家はあまりお金がないようでした 友達とえべっさんに行きたいけど、お金がないから無理や…と溜息。 お年玉は貰ったけど、教科書を買うお金にするとのこと。 イケメンは、ふーんって感じで聞いてたんですが イケメン「俺がお前くらいん時にやっとったんやけど、成功率すげー高いん。試してみ」 と言って教えていた手口が物凄く巧妙で「顔がいい子供にのみ許される」って手口でした ・自分のお母さんと同じくらいか少し若いくらいの年齢の、男の人や 子供と一緒じゃない女の人を探す ・その中でも、痩せ型で、オシャレで、でも派手じゃなくて、とにか
不当解雇 その２９ 【尋問だん ＆ 裁判所の和解案提示】 - ネコポンの「不当解雇なう」日記
■ 証拠調べ（人証） 尋問を終えた。 準備は、万全。要件事実を意識しながら、被告の不法行為をクローズアップさせつつ、被告主張の矛盾、嘘を集中的に突いていったつもり。 証人宣誓書への署名・朗読をしたにもかかわらず、平然と嘘をつく被告に、さすがにボクも途中、キレそうになった…。 クローズドクエスチョン型式の尋問を心がけたが、結局、オープンクエスチョンが多くなった。 出来としては…、８０点程度か。まぁ、はじめてにしては、良く出来た方かと。 ■ 裁判所の和解案提示 裁判所から、和解案の提示があった。 原告・被告別々に、提示していることから、裁判所は、双方に対して、うまく和解金額・和解条件およびその理由を使い分けていることは、容易に予想される。 ボクに提示された和解条件は、想定していたとおりのものであった。 裁判所は、まず、 「被告会社は、６００万円での和解なら応じることができると考えているようだが
Wikiについて語るときに我々の語ること | WIRED VISION
Wikiについて語るときに我々の語ること 2011年1月13日 ITカルチャーメディア コメント： トラックバック (0) フィードITカルチャーメディア （これまでの yomoyomoの「情報共有の未来」はこちら） 昨年の秋、日本でも評判となったドン・タプスコット、アンソニー・D・ウィリアムズ『ウィキノミクス マスコラボレーションによる開発・生産の世紀へ』のコンビによる続編『Macrowikinomics: Rebooting Business and the World』が刊行されました。この本の情報は公式サイトをあたっていただくとして、タイトルに「マクロ」が付いているだけあって前作よりも大きな枠組みで経済をとらえることを目指した本との触れ込みですが、基本的に『ウィキノミクス』の最新事例版と考えてよいでしょう（今年、日経BPから邦訳が出るのかな？）。 実はこの新刊を知ったとき、すぐに『
仕事なんて楽しいワケがない！ プロは客に尽くして喜ぶものでしょ 第74回：日産自動車 GT-R【開発者編】その2：日経ビジネスオンライン
みなさまごきげんよう。フェルディナント・ヤマグチでございます。 いやはや大変な寒さでございますね。山からはチラホラと雪便りが……どころじゃなくて、連日連夜大雪のニュースが届いています。豪雪でお悩みの方には大変申し訳がないのですが、この盛大な降雪はスキーヤーの私にとって実にめでたいことです。今シーズンは春まで心おきなく楽しめそう。私はこの週末から白馬で遅めのシーズンインとなります。今年もバンバン滑りますよ。 クルマとジョギングに加えてスキーの記事を書くのはどうかなぁ……。え？そんなの書いても読者は喜ばない？日経ビジネスオンラインの読者諸兄は、ガチでスキーを楽しんでこられた世代だと思うのですがいかがでしょう。みなさま最近スキーには行っておられますか？ さて、今回も先週に引き続き盛大に参りましょう。“スキーにも行けるスーパーカー”日産自動車「GT-R」の開発責任者、水野和敏氏の新春大放談第2弾で
Prolog - Wikipedia
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
二階述語論理 - Wikipedia
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである[1]。二階述語論理もさらに高階述語論理や型理論に拡張される。 一階述語論理と同様に議論領域（ドメイン）の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あ
一階述語論理 - Wikipedia
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。 命題論理では文を構成する最も基本的な命題（原子命題）は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と
檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
pirori2ch.com
47NEWS（よんななニュース）