25年前に放置されたシュールストレミングの缶詰が発見され軍の連絡により専門家が出動
「世界一臭い食べ物」と評されるスウェーデン名物ニシンの塩漬け「シュールストレミング」。うっかり放置すると缶詰が膨らんで破裂しあたりに臭いをまきちらす危険な食べ物ですが、25年放置した缶詰が見つかり軍と専門家が出動する事件がありました。 先日、ノルウェーのインゲ・ハウセンさんは所有する山小屋の屋根裏でシュールストレミングの缶詰を発見。90年代に購入したものの食べ切れなかった残りを放置してそのまま忘れてしまっていたということですが、缶詰は膨らみきっており屋根を2センチも持ち上げる超危険状態であったため、ハウセンさんは軍に通報しました。 しかし、シュールストレミングは爆発物でも毒ガスでもないため、軍はスウェーデン・シュールストレミング学会のルーベン・マドセンさんをハウセンさんに紹介。2014年2月18日、スウェーデンとノルウェーの新聞記者や17のテレビ局が報道する中、無事に「処理」することに成功
ソフトウェアの基礎
Symbols_J:概要 Preface_J:前書き 前書き 概要 実際の学習について 章間の依存関係 学習者に要求される知識的前提 Coqについて 学習に必要なもの 教材となるCoqファイルの入手方法 練習問題について 推奨書籍 教育関係者へ Basics_J: 関数プログラミングとプログラムの証明 列挙型 曜日の表し方 ブール型 関数の型 数値 簡約を用いた証明 introsタクティック 書き換え（Rewriting）による証明 Case分析 Caseへのネーミング 帰納法 形式的証明と非形式的証明 証明の中で行う証明 さらなる練習問題 Lists_J: 直積、リスト、オプション 数のペア 数のリスト リストを使ったバッグ リストに関する推論 お小言 リスト上の帰納法 SearchAbout リストについての練習問題 (1) リストについての練習問題 (2) オプション apply タ
先週の金土、俺の部屋でお祭り開催してたんだけど全然人来なかった… : 無題のドキュメント
先週の金土、俺の部屋でお祭り開催してたんだけど全然人来なかった… 【日本の祭り】 以下、名無しにかわりましてVIPがお送りします ：2013/05/27(月) 13:41:34.29 ID:GCusMcG00 でも一応売り上げというか成果書いていくわ まずは屋台から たこ焼き 販売数…初日：0個 二日目：0個 累計：0個 概要：冷凍のたこ焼きを、注文を受け次第解凍して 6個1パック200円で販売。 紅生姜、青海苔はお好みで 綿菓子 販売数…初日：0個 二日目：0個 累計：0個 概要：市販の綿菓子を袋から取出し 割り箸に刺したものを、1個50円で販売。 2： 以下、名無しにかわりましてVIPがお送りします ：2013/05/27(月) 13:42:36.22 ID:3X7i3yjj0 は？ 3： 以下、名無しにかわりましてVIPがお送りします ：2013/05/27(月) 13:42:59
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
