プロクエ - プログラムクエストNuestra misión es HACERTE CRECER. Brindamos servicios especializados que aportan valor a las empresas líderes del mercado combinando estrategias de marketing y negocio con tecnología digital
荒らしなのかステマなのか悪ふざけなのか COOKPADのおかしなレシピ | 56docブログ
Haskellってなにさ おかしなレシピってのはこれ。 Haskellインストール手順 by masterq [クックパッド] 簡単おいしいみんなのレシピが119万品（画像クリックでキャプチャ拡大） なんだか良く分かりませんね。「Haskell」ってのはなんかプログラム言語らしいですけど。 Haskell Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー （Haskell B. Curry）に由来する。 ウィキの解説より。へーそうなんだ。 速攻削除されるオーラ全開なので一応魚拓とっておきました。 ただのジョークで載せたのかステマなのか炎上狙いなのかはよくわかりません。 炎上狙いなら新しい境地開拓ってとこですかね。でも運営に迷惑かけるからやるなら自分のサイトなりブログでおやりになったほうがいいと思いますけどね。良い子
ミラクルはすける勉強会#0
5. * Attoparsec - 高速パーサコンビネータ * Gitit - VCSバックエンドWiki * Gtk2hs - Haskellから使えるGtkラッパ * Hakyll - 静的Webサイト生成 * House - Haskell製OS * Mighttpd - nginxぐらい速いWebサーバ * Monadius - グラディウスっぽいゲーム * Pandoc - ドキュメントフォーマット変換 * Yesod - RailsっぽいWebフレームワーク その他↓にたくさん登録されてます http://hackage.haskell.org/packages/archive/pkg-list.html 6. * Bluespec: SystemVerilogとSystemCのツール実装に使ってる * Bump Technologies: モバイル向け連絡先交換のサーバサイド
サードハンドスモーク ―疫学では見えないリスク― - NATROMのブログ
日本における受動喫煙による超過死亡数は年間約6800人という推計がある*1。この推計は疫学的に「見える」リスクに基づいて計算されたものである。セカンドハンドスモーク（二次喫煙）のリスクは疫学的に見える。セカンドハンドスモークとは燃えている煙草の端からの煙や喫煙中の人の吐く煙のことで、一般的にいう受動喫煙のことである。 比較的新しい概念であるが、サードハンドスモーク（三次喫煙）と呼ばれるものもある。サードハンドスモークとは、衣服や髪、家具などの屋内環境に残留するタバコの汚染物質のことである*2。たとえば、非喫煙者の親が外でセカンドハンドスモークにさらされ、服を着替えずに帰宅すれば、家の中にいる子はサードハンドスモークに曝露するというわけである。ProtanoとVitaliは、「セカンドハンドスモークという用語を受動喫煙と同じ意味で使うのはもはや適切でない」と述べている。受動喫煙はセカンドハン
シューマン共振 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "シューマン共振" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年5月) 地球を一周する定在波 シューマン共振（シューマンきょうしん）あるいはシューマン共鳴（シューマンきょうめい、Schumann resonance）は、地球の地表と電離層との間で極極超長波 (ELF) が反射をして、その波長がちょうど地球一周の距離の整数分の一に一致したものをいう。その周波数は7.83 Hz（一次）、 14.1 Hz（二次）、 20.3 Hz（三次）、……と多数存在する。常に共振し続けているので常時観測できる。 1952年、ドイツの物理学者で
『けいおん！』のヒットをきっかけに日常系アニメはひとつのジャンルとして確立！ アニメの主流はセカイ系・萌え系から日常系へ｜やらおん!
1 名前：つゆだくラーメンφ ★[] 投稿日：2012/04/14(土) 15:39:36.40 ID:??? 学校や地方都市などを舞台にして日常生活を描いたアニメーション作品が根強い人気を集めている。昨年公開された「映画けいおん！」のヒットをきっかけに、認知度が高まった「日常系（空気系）アニメ」ブームに広がりが出た。世界の命運を左右する壮大なストーリーや、美少女キャラたちが主人公の少年を奪い合うラブコメを経て、アニメがたどり着いた境地は「普通の生活」だった。 東京ＭＸでは昨年4～9月に京都アニメーションが制作した「日常」を放送。多様なキャラクターの高校生たちが通う高校を舞台にしたアニメで、視聴者からの反響が大きく、放送終了直後から再放送。今年1月からはＮＨＫＥテレでも放送された。 ＴＢＳ系列では4月から中学2年生の少女4人が主人公の「夏色キセキ」と、女子高生と男子高生のつかず離れずの関係
グッドスタインの定理 - Wikipedia
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。 グッドスタイン数列の定義[編集] グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を（ただし、は0とn-1の間の値をとる整数）という形に書き換える。次に、ここに現れる各項を独立したnの積で表す。たとえば は という形になる
)
直観主義 (数学の哲学) - Wikipedia
数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 来歴と評価[編集] これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワ
自分と対立した意見を持つ人も知識と常識を持った普通の人である
渡邊芳之 @ynabe39 普通のひと相手でも最終的には「あなたが勉強しなさい」としか言えないのが学者の悲しいところである。これは皮肉ではなくて本当に悲しい。
【胃袋破裂】ご飯とおかず１．５ｋｇを食べた後おかしを５時間食べ続けて死亡 : 【2ch】コピペ情報局
2012年04月15日14:38 びっくりニュース 中国 コメント( 2 ) 【胃袋破裂】ご飯とおかず１．５ｋｇを食べた後おかしを５時間食べ続けて死亡 Tweet 1：FinalFinanceφ ★：2012/04/15(日) 13:29:35.47 ID:0 2012年4月12日、「現役女子大学生が胃袋が破れるほど過食し、不幸にも亡くなった」との投稿があった。 騰訊ネットが伝えた。 中国簡易投稿サイト（騰訊ツイッター）に 「現役女子大学生が胃袋が破れるほど過食し、不幸にも亡くなった」 との投稿があり、あっという間に1万以上にシェアされた。 投稿内容によると、この女子大学生は自宅で炊飯器いっぱいに炊いた白いご飯とおかず、 合わせて1．5キロを食べた後、果物やお菓子などを5時間も食べ続けた。 すると胃袋が破裂し、病院に運ばれたが既に手遅れだったという。 http://www.r
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
ぷてぃ・あんじぇ Webloli : 米沢嘉博記念図書館への寄贈を行いました
ここ最近お騒がせしておりましたが、本日「明治大学 米沢嘉博記念図書館」へ、部屋の中の雑誌類を寄贈させていただきました。 アドバイスをくださった皆様、色々動いてくださった皆様には御礼申し上げます。 結果的に、荷物の個数は４８個口、総重量は１トン弱といったところでしょうか（汗）。まあ昨日までにコンピュータ系の雑誌を数日間で2.2トンほど捨てているので、これでもまだまだ…（爆）。 送料は４万円かかりましたが、これでもかなり無理を言って勉強していただけたので、個人的にはありがたい限りです。 （※送る予定の雑誌類をただひたすらに積み上げた山々。実際には送らなかった（＆送れない）ものも含まれてますので実際にはもう少し少ない…と思いきや、実はこの後にダンボール２箱分追加が…（汗）） これから先、コミック文化、それも美少女やエロといった正直言って日陰のジャンルの、それでも立派な文化を構成に伝えるお手伝いが
1dentity.info
1dentity.info 2021 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
しましまとでんせつ : カロリーオンなミントタブレットALTOIDSが美味しいので人工甘味料は滅びればいい
2011年07月27日13:02 カテゴリくいものレビュー カロリーオンなミントタブレットALTOIDSが美味しいので人工甘味料は滅びればいい さて物騒な単語で書き出しましたが、単刀直入に言って人工甘味料入の食品は9割9分不味いのである。 個人の嗜好とかそういう問題でなく理論的にそうなのである。りろんはしってる。わたくし別にアスパルテームの危険性とかいう与太話を語りたいわけではない。 いやアスパルテームというやつ、発がん性だの毒ガス兵器だの政治との癒着だの莫大な研究資金を装った裏金だの、それホントだったら、そこまでしてお菓子に使うことによって企業が何のメリットを得るのかと想像するだに爆笑もののエピソードの数々を持つ面白い存在ではあるが、 あいにくとそういう話はどうでもいいのです。何食おうが人間死ぬときは死にます。 問題は、ステビアでもサッカリンでもチクロでもアスパルテームでもソルビトールで
フォークの背にライスを乗せて食べますか？ - エキサイトニュース
レストランなどでハンバーグセットやステーキセットといった洋食を注文すると、ライスが皿に盛られて出てくる場合が多い。茶碗と箸で食べてもライスであることに変わりはないのだが、皿のライスをフォークで食べると、“いかにも洋食”な気分を味わうことができる。 ところで、この皿に盛られたライスとフォーク。読者の皆さんは、どのようにして食されているだろうか。レストランなどで食事中の客を見るにつけ、多くはフォークの腹の部分にライスを乗せて食べているように思われる。 しかし、フォークの背の部分にライスを乗せて食べている客も時折見受けられる。普段、フォークの腹にライスを乗せて食べる筆者としては、フォークの背に乗せると食べづらいのでは、と思ってしまう（背に乗せて食べるのが当たり前の人にしてみたら、腹の方が食べづらいのかもしれないが）。そしてまた、洋食のマナーとしてフォークの腹と背、どちらに乗せて食べるのが正しいの
はじめてプログラミングを覚えるのはどうしたらいいか？という質問の答え：村上福之の「ネットとケータイと俺様」：オルタナティブ・ブログ
プログラミングを覚えたいという人がいます。どうしたらいいですか？とか、教えてくださいとか、どこで教えてもらえますかと聞かれます。 個人的には、Webプログラミングに関しては、漢字の書き方を覚えるのと、プログラミングを覚えるのは大差ないです。最初の最初は、「写して、書いて、覚える」しかないです。 絵とか写真が多くて分かりやすい言葉で書いてあるプログラミングの入門書で、出来るだけ薄いのを買ってきて、淡々と最初のページから、書いていることを淡々とマネして、写経してください。たまに改造してみてください。最初は、それだけです。だいたいわかったら、一冊全部やる必要もありません。難しい解説なんか、理解しなくてもいいです。動けばいいです。 今なら、本を買わないで、ドットインストールでもいいかもしれません。 最初は、本当にそれだけです。 頭がいいかどうかより、最初の最初で、写経する根気があるかどうかです。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.mammo.tv/interview/archives/no226.html
バカ集合 : 顧客がほんとうに必要だったもの
論理と推論 --- 数学の形式化
サービス終了のお知らせ