Proof Market
This is a proof market for Coq. The list of all problems Create a new problem Recent answers How to get proofs done for bitcoins Create a new problem wait for somebody to solve the problem on recent entries pay bitcoins see the proof How to get bitcoins for proving find a problem on the list of all problems (optional) contact possible payers solve the problem post your solution with a price and yo
日常系萌アニメには、家族を持てない者たちの怨嗟のような苦しみを感じる。:ひろろのブロマガ - ブロマガ
近年、萌アニメが隆盛し、現在はある一定のジャンルとして地位を占めるようになってきた。一昔まえならこうした、女の子が多数出てきて「キャッキャ、ウフフ」するだけのアニメというのはマイナーなジャンルであったが、現在では コンビニのなどでタイアップ商品などが出るほど一般化してきている。 私は最初、萌アニメという物は、お色気シーンや女の子の可愛らしさを際出させた、地上波で流せるエロアニメという認識であった。そのような中途半端な物に夢中になるのはなぜなのか？と多少疑問に思ってたが、特別気にしなかった。 ある時女性の友人から強く進められ「いちごましまろ」というアニメを見る事になった、単なるお色気アニメだと思っていたので、女性が強くこの作品に惹かれるの理由はなぜかと思い視聴した。なるほどよくできたアニメであった、予想通りあざとく女の子の可愛らしく魅せる部分などはあるが、それは魅力の一部であり子気味よいギャ
米沿岸警備隊の砕氷船、南極海の中ロ船を救助へ
（ＣＮＮ） 南極海で立ち往生しているロシア調査船と中国の砕氷船を救助するため、米沿岸警備隊が砕氷船を現場へ派遣することになった。 沿岸警備隊が４日に発表した声明によると、砕氷船「ポーラースター」はもともと、現在停泊中のシドニーから南極の米マクマード基地の物資補給に向かう予定だった。 南極大陸沖のコモンウェルス湾では昨年末、ロシアの調査船「アカデミック・ショカリスキー」が氷に囲まれて動けなくなり、救助活動に参加した中国の砕氷船「雪龍」も立ち往生している。事態を受けて、オーストラリアの海上保安当局が３日、米国の協力を正式に要請した。沿岸警備隊によると、ロシアと中国の両政府からも依頼があったという。 アカデミック・ショカリスキーと雪龍は自力での脱出を試みているが、沿岸警備隊は「自力では難しい」との懸念を指摘。５日から７日間の予定で、ポーラースターを現場海域に出動させると表明した。ポーラースターは
時事ドットコム：ビル倒壊で１４人死亡＝インド
ビル倒壊で１４人死亡＝インド 【ニューデリー時事】インド南部ゴア州のカナコナ村で４日、建設中のアパートが倒壊し、少なくとも作業員１４人が死亡した。１００人以上ががれきの下敷きになっているという情報があり、犠牲者が増える恐れがある。地元メディアが報じた。 カナコナ村は州都パナジの南８０キロにある。英紙ガーディアンによると、インドでは２０１２年、ビルや橋などの倒壊事故が約２７００件発生し、計２６５１人が死亡している。（2014/01/05-01:27）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
