ネット競売で「戦車」を衝動買い、置き場所に苦労 英国
ロンドン（ＣＮＮ） 英国人男性がインターネットの競売で「戦車」を衝動買いし、置き場所の確保に苦労し、家を新規購入する羽目に陥った。 ジェフ・ウールマーさんが１万４０００米ドル（約１６６万６０００円）支払った戦車は重さ７トンのＣＶＲＴスコーピオンで、以前はカナダ軍が保持していた。 買ったものの、イングランド西部ブリストル近くの自宅は寝室が２つあるアパートで、戦車の駐車は禁止だった。 戦車購入のきっかけは職場の同僚との雑談がきっかけ。話の種は「このごろは軍用車両を含めインターネットでは何でも買える」だったという。職場では、時速１０００マイル（約１６０９キロ）を突破出来る車両のデザイン、製造を狙う事業を進めている。 この雑談後、ウールマーさんは自宅で特殊車両の競売サイトに接続し、スコーピオン戦車の入札に参加。その後、連絡がなかったのでほぼあきらめていたところ、職場に電話があり落札が決まったとの説
ソフトウェア科学特論: 命題論理の推論体系
本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． 小野寛晰著 『情報科学における論理』日本評論社，1994 (Amazon) Chin-Liang Chang, Richard Char-Tung Lee "Symbolic Logic and Mechanical Theorem Proving", Academic Press, 1973 (Amazon) Michael R. Genesereth a
人類には早すぎるランキングを俺が作るとこうなる
一体いつになったら復活してくれるんですか結果 ⇒mylist/53041267 本家様 ⇒mylist/11193866文字数オーバーするほどたくさんの方に宣伝して頂きました！ありがとうございます！投稿動画 mylist/28282827再生音量を自動調節する機能のもとで編集していたようで一部音が大きくなっている動画があります。ご注意ください。
作図系ツール・ライブラリまとめ
diag.md シーケンス図とかフローチャートをしごとで描画することになった場合、 テキストから生成できたら楽なので、それ系のツールまとめ GraphViz http://www.graphviz.org/ C製 Doxygen, Moinmoinなどと連携可能 ブロック図、クラス図、ネットワーク図など PNG, SVGなど 出力可能形式一覧 JavaScript（Emscripten）版もある。リアルタイムプレビュー出来て便利 https://github.com/mdaines/viz.js PlantUML Java製 シーケンス図, ユースケース図, クラス図, アクティビティ図, コンポーネント図, ステート図, デプロイ図, オブジェクト図などめっちゃたくさん作れる PNG, SVG, LaTeX, ASCII出力 なんとワイヤーフレームも作れる。アイコンとかも入れられる。 オ
3巻以内完結のおすすめマンガ
自分のベスト100選んで、「またかよ」って思われそうなタイトル抜いたらいいぐらいの数になったので書くよ。 ※特に順位とかはないです。全部読んでほしい。 ※試し読みとかあるのはできるだけリンク貼ったよ。 ・ぷらせぼくらぶ（1巻完結） http://sol-comics.shogakukan.co.jp/solc_dtl?isbn=9784091886385 大橋博之のアシスタントをしてた奥田亜紀子のデビュー作。題材としては『桐島、部活やめるってよ』的なスクールカースト。 主人公であだ名が「毒まんじゅう」の岡ちゃんと、イケてる「向こう側」の人とのなんとも言い難い関わりを、綺麗なトーンワークで描いている。 「自分で始まり自分で終わる岡ちゃんの恋は、クライマックス以外のバリエーションが無い」という掴みから引き込まれてしまう。 ・ケンガイ（3巻完結） http://sol-comics.shogak
2015年10～11月版: Windows Updateで強制的にWindows10へのアップグレード画面が表示される問題
2016.03.10 追記 2016年3月6日頃から、自動アップグレードの挙動が変化しているようです。 → (2016年3月)Windows10への半強制アップグレードが再び猛威を奮っている模様？ キャンセル方法の詳細は以下です。 → 勝手に予約されたWindows10のアップグレードをキャンセルする方法 2016.03.10 追記ここまで。 2015年10月～11月にかけて、Windows Update後に「強制的にWindows10へのアップグレード画面が表示」される現象が発生しています。 「Windows10へのアップグレードはまだしたくない場合」でも、画面の指示に従ってしまうと Windows10へのアップグレードが始まってしまいます。 2015年10月以降、Microsoftはかなり強引にWindows10へのアップグレードを推し進めています。操作ミスによるアップグレードを防ぐた
スクフェスとデレステの決定的な違い - K Diary
今、スマホゲーでよく遊ばれている音ゲーといえばラブライブ！スクールアイドルフェスティバル（スクフェス）とアイドルマスター シンデレラガールズ スターライトステージ（デレステ）だと思う。僕はどちらのコンテンツも好きなので両方ともやっているんだけれど、この二つのゲームは違うところとしては押す箇所数とか、演出とか、挙げればキリが無いほどあるんだけれど、決定的に違うのは「譜面をリズムに寄せるか、メロディに寄せるか」という点じゃないかなーとプレイしていて感じた。スクフェスは基本的にリズムに譜面を合わせていて、デレステはメロディに譜面を合わせている箇所が多い。動画を見てもらった方が多分わかりやすい。実際にプレイしてもらった方が一番わかりやすいけれど。 スクフェス デレステ このような感じでデレステはメロディに合わせてノーツを叩かせているとこが多い。で、やっていて思うのはメロディに合わせてノーツを叩くの
ホラー好きが選ぶ！ 楳図かずおの漫画 おすすめベスト5【漂流教室だけじゃない！】 - 広汎性発達障害の女がたまに毒を吐くブログ
ホラー好きが選ぶ! 楳図かずおの漫画 おすすめベスト5+α【漂流教室だけじゃない!】 | うらなか書房のあやしいグッズあり〼 上記に移転しました。お手数ですがリンク先をご覧ください。
財務省 経済統計の取り方など見直し要請へ NHKニュース
財務省は、物価などの政府の統計が経済の実態を十分に反映していないとして、統計の取り方などを見直すよう、総務省や国土交通省などに求めていくことになりました。 しかし、総務省が発表する消費者物価指数では、調査品目に、急速に拡大しているインターネット通販で売買されている商品の価格が反映されていないのが実情です。 また、消費支出などの家計調査も、調査対象となる世帯主の半分以上が６０歳以上となっていて、高齢者の消費動向に偏っているのではないかという指摘も出ています。 このため麻生財務大臣は、１６日に開かれた経済財政諮問会議で、政府の統計が経済の実態を十分に反映していないとして見直しを提案しました。 財務省では今後、経済統計をまとめている総務省や国土交通省などに、統計の取り方や項目の対象について具体的な見直しを求めていく方針です。
1か月充電なしで走れるマグネシウム発電池の電気自動車「piana」 [えん乗り]
STYLE-Dは、東京モーターショーに、マグネシウム発電池を搭載可能な超小型モビリティ「piana」を出展する。 超小型モビリティは大手自動車メーカーも技術開発を進める乗り物だが、運転席・後部座席という配列の縦2人乗りが多い。pianaは、可動域600mmのフロントハッチ式ドアを採用して、運転席、助手席の横2人乗りとした。 バッテリーはリチウム電池に加え1か月充電せず「水」で発電できるマグネシウム発電池を載せられるハイブリッド化が可能だそう。 STYLE-Dは前回2013年の東京モーターショーにも、元トヨタ自動車のデザインプロデューサーである山下泰弘氏が手掛けた超小型モビリティのコンセプトモデル「D-FACE」を出展している。pianaはそれをもとに改良した実用化プロトタイプだという。 サイズは全長2,498mm、全幅1,480mm、全高1,600mm。重さは400kg。バッテリーは72V
![1か月充電なしで走れるマグネシウム発電池の電気自動車「piana」 [えん乗り]](https://cdn-ak-scissors.b.st-hatena.com/image/square/3eee0aa7a164a5d15116cf51947ce906ed795f22/height=288;version=1;width=512/https%3A%2F%2Fimage.ennori.jp%2Fupload%2F201510%2Fimages%2Fpiana1.jpg)
【34bit】マリオメーカー計算機で171億(略)+171億(略)の結果を表示してみた
ID：6F78-0000-00AB-2CE6技術革新により前回の32bit計算機(sm27351491)の課題であった「何度でも使える回路」の実用化に成功しました。理論上は無限の桁数を計算可能な回路を使い、34桁+34桁の2進数の足し算を計算し、その出力結果を2進数で表示できます。(コースのクリアも可能です)(追記)・折り返しでPスイッチが黒パックンに踏まれる不具合がありました。片方をPOMにすることで回避できます。64bitに拡張しました→sm27426801参考資料sm27335792：こちらで使われていたギミックを使用しました。sm27400376：新技術で表示を45bitに更新されました。マリオメーカー学会発表まとめ：mylist/53472912
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GUMI MV「ドーナツホール」
技術の進歩により再現できた10の失われた歴史上の貴重な資料 : カラパイア
https://journal.shingakunet.com/career/30801/
タミヤの実車版ミニ四駆「エアロ アバンテ」が走った!…最高速180km/h