グレブナー基底で嘘を見抜く
グレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く①】 このアンケートの問題を今から、グレブナー基底を用いて機械的に解いてみたいと思うぶなっ！ みんなも一度この問題について考えてみてぶなっ！ グレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く②】 一応、アンケートの問題を文字に起こすと、 問題「次のうち嘘をついているのは誰か？」 A「Bは正しい」 B「CかDは正しい」 C「Dは嘘を付いている」 D「嘘をついているのは１人だけだ」 便宜上、回答１～４をA～Dに置き換えたぶなっ！ グレブナー基底大好きbot @groebner_basis 【見抜く③】 まずは、この問題を「多項式」で置き換えたいと思うぶなっ！ A、B、C、Dの主張にそれぞれ x ,y, z, w という変数を割り当て、主張が正しいときには0, 正しくな
Homotopy type theory and Voevodsky's univalent foundations
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called
コストコのガソリン価格おかしい、小学生が適当に値段付けてるレベル : 市況かぶ全力２階建
フィル・カンパニー、社会人3年目の広報担当が決算発表日にSNSで無駄に期待を持たせて株価を乱高下させた件でお詫び
人類は少子高齢化しました - A Successful Failure
2015年11月26日 人類は少子高齢化しました Tweet TEDにおける伝説的なプレゼンの一つにHans RoslingによるStats that reshape your worldviewがある。1000万回以上も視聴されたプレゼンなので見たことがある方も多いだろう。彼はTrendalyzerという自作のソフトを用いて、統計データを視覚化し世界の様相を伝えている。 Trendalyzerはここで配布されている。また、後にTrendalyzerはGoogleに買収され、Google Visualization APIとして配布されている。さらに、様々な長期的統計データもここに整理・集約されている。 彼は2006年に行われたプレゼンにおいて、先進国は長寿で少家族、発展途上国は短命で大家族という先入観は今や正しくなく、世界全体が少子化・長寿化に向かっていることを示した。次のVizは彼が示
Rubyistを誘うScalaの世界
17. RubyにはModule、 ScalaにはTraitがある trait HelloModule { def hello = "Hello!" } trait WorldModule { def world = "World!" } class Hoge extends HelloModule with WorldModule val hoge = new Hoge() hoge.hello // => "Hello!" Traitを定義 TraitをMix-In 19. 暗黙クラスを使う implicit class MyString(val s: String) extends AnyVal { def addScala = s + "Scala" } "Ruby is like ".addScala // => "Ruby is like Scala" 拡張したい型を指定 im
テキスト周りのスタイリングに使えるCSSプロパティやスニペット - NxWorld
スタイリングといっても見栄えを大きく変えるとかではなく、ほとんどがただのプロパティ説明みたいな感じになっていますが、サイト制作時に覚えておくとテキスト周りをいろいろと変更できるCSSのプロパティや使用する頻度が高そうなスニペットみたいなものをひと通りまとめてみました。 紹介するもの全てがひと通りのブラウザで自由に使えるわけではありませんが、上手く利用すれば今まで画像を使用していた見栄えをCSSだけで再現できたり、複雑な組み方をしたりJavaScriptを使って実装していたりしたものがCSSのみでシンプルに実装できたりします。 November 27, 2015 追記 前川（@maepon）さんが、このエントリーでは記載していなかった各種プロパティのブラウザ対応状況についてまとめてくださいました。 OS・ブラウザの種類やプレフィックスの有無、Can I useの各種プロパティページへのリンク
スバル新CMが男尊女卑と炎上→理由にサーファー嫁驚愕「ええええ」 | おたくま経済新聞
【関連：スバル、話題の「ぶつからないクルマ」VR試乗アプリ配信】 ほう。炎上案件ですね。一応記事を読んでみたところ……何々。 【ザックリ言うとこんなCM】 夫がサーフィンをはじめた。冬の早朝からサーフィン支度をする夫。玄関から眠そうにそれをみつめる妻と子。到着すると車のトランクに座り、夫のサーフィンを眺める二人。帰りの車中、夫と子供は後部席で爆睡。バックミラーで寝顔をみてほほえむ妻。妻の運転で帰る。 ザックリいうとこんな内容。詳しくは実際の動画を見てください。 ▼動画 https://twitter.com/SUBARU_FHI_PR/status/666234378943524864 まあ、サーファー嫁あるあるですわ。あるある。と思っていたら、どうやら世間からはこのCM は「妻を趣味に付き合わせて帰り運転させるとか男尊女卑はなはだしい」「嫁は奴隷か？」「嫁は夫のアッシーかよ！」と散々にい
成城石井は､なぜ｢安くない｣のに売れるのか
イオン、イトーヨーカドー。食品から衣料品や住居関連用品などを幅広く扱う総合スーパー（GMS）が苦しんでいる。 イオンのGMS事業は赤字が続き、コンビニ最大手「セブン-イレブン」が絶好調なセブン＆アイ･ホールディングスですら、イトーヨーカドーについては今後5年で全体の2割に当たる40店舗を閉鎖する方針を表明している。ユニーグループ・ホールディングスが、ファミリーマートとの経営統合に踏み出したのも、GMS「アピタ」「ピアゴ」の不振が背景の一つにある。 昨年の消費増税後、スーパーは二極化の様相を見せた。特徴を打ち出せないGMSが振るわない中、ライフコーポーレーションやヤオコーなど、首都圏を中心に展開する主要な食品スーパーは生鮮食品や惣菜に力を入れた結果、値上げの反動減をはね飛ばして業績を伸ばしている。 成城石井の利益率はスーパーの中でも突出 そうした堅調な食品スーパーの中でも異色の存在が、「成城
近い将来、Wi-Fi経由でiPhoneが充電できるようになる？ - iPhone Mania
充電方法もこのところ進化を遂げ、必ずしも充電ケーブルが必要ではなくなってきていますが、近い将来にはWi-Fi経由でiPhoneの充電ができるようになっているかもしれません。 Wi-Fiでデータ通信をしながら充電もできる時代が到来か ニュースメディア『IFLSCIENCE！』によりますと、ワシントン大学のVamsi Talla博士は、「Power over Wi-Fi(PoWiFi) 」と呼ばれる方法により、電源にデバイスを直接接続することなく、Wi-Fiルーターから発せられる電波によって充電できる方法を確立し、この技術はすでに、Wi-Fi通信をしながらのデバイス等を充電するという二足のわらじでの実証実験に関しても成功したと伝えられています。 最新の研究では、Jawboneの活動量計「Up24」が2.5時間で0%から41%まで充電できたということも伝えられており、今後の研究の進み方次第では飛
マイクロソフトとレッドハットがついに結んだ画期的パートナーシップの全貌 | Forbes JAPAN（フォーブス ジャパン）
(c) linkties Co., Ltd. Under license from Forbes.com LLC™ All rights reserved. やっと実現した。先週、マイクロソフトとオープンソースソフトウェア大手レッドハットが長らく足踏みをしていたパートナーシップを結ぶことを発表した。これは、マイクロソフト、レッドハット、そして両社の顧客にとって画期的な一歩である。また、ライバルが相手であっても、オープンに協力する方向にマイクロソフトが舵を切り始めたことを反映している。 ソフトウェア業界にとって、この画期的パートナーシップがどのような意味を持つのかを分析してみた。 クラウドの黎明期、マイクロソフトは既にAzureをOSに依存しないものにすることの重要性に気付いていた。すべてをウィンドウズのOSにバンドルするという十年来のモデルをAzureに適用できないことは明らかだった。そこ
iPad Proの純正キーボード「Smart Keyboard」の性能はいかほどか試してみました
12.9インチの巨大ディスプレイを搭載し、ティム・クックCEOに「ノートPCに取って代わる」と言わしめたiPad Proの、キーボード兼保護カバー「Smart Keyboard」をゲットしたので、さっそくタブレットPCモードで使ってみました。さらには同じタブレットPCということで、ライバルになり得るMicrosoft「Surface Pro 4」の純正キーボードカバーとも比較してみました。 iPad Pro - Smart Keyboard - Apple（日本） http://www.apple.com/jp/smart-keyboard/ Smart KeyboardはiPad Pro用だけあって大きめの箱に入っています。 ただし薄さはこんな感じ。まるで、まな板のような形状です。 箱を開けるとSmart Keyboardが登場。 中身はSmart Keyboard本体、説明書のみ。 S
2015年にAppleが行った、もっとも革新的な7つのこと | ライフハッカー・ジャパン
イノベーションという観点では、2015年はAppleにとって素晴らしい年でした。その中には、一目瞭然なものから影で実力を発揮するものなど、いろいろありました。 3D Touchはすごい商品でした。ユーザーインターフェースとしては、iPhoneのオリジナルタッチスクリーンが登場して以来最大のイノベーションであると言えるでしょう。3年もすれば、3D Touchのような機能がないタッチスクリーンでの操作は、ひどくぎこちなく感じるようになると断言できます。この機能の発展により、より多くのフィードバックもまた可能になり、いずれiPadスクリーンで行う文字入力が、まるで本物のキーボードを打っているように感じられる日が来ることすら想像に難くありません。 Apple TV（第4世代）は数年来のユーザーの期待に応える製品でした。表面的には競合と同等の製品でしかないように見えますが、強力なハードとたくさんのア
号外：朝日新聞デジタル
パリ2024 能登半島地震 速報 朝刊 記事一覧 紙面ビューアー 夕刊 記事一覧 紙面ビューアー 連載 ランキング その他 コメントプラス ニュースの要点 特集 動画・音声・写真 土曜別刷り「be」 記者イベント 天気 数独 12星座占い サイトマップ 検索 ヘルプ Q&A（よくある質問） 総合ガイド お申し込み ログイン マイページ 有料会員紙面ビューアーコース登録済み 無料会員（クーポン適用中）紙面ビューアーコース登録済み 無料会員紙面ビューアーコース登録済み 朝日ID会員 紙面ビューアーコース お客様サポート（個人設定） お客様サポート（個人設定） お客様サポート（個人設定） メール設定 スクラップブック MYキーワード 会員特典・プレゼント 提携プレミアムサービス ログアウト
芥川賞受賞者、落選者より長生き 直木賞は逆 阪大研究：朝日新聞デジタル
芥川賞受賞者の平均寿命は受賞を逃した候補者（落選者）より長いのに、直木賞の受賞者は候補者より短命――。大竹文雄・大阪大学社会経済研究所教授と佐々木周作さんら大学院生のグループが、２８日に開かれる行動経済学会で、こんな研究結果を発表する。 芥川賞は新進作家の純文学、直木賞は中堅作家の大衆文学に贈られる。１９３５年の創設以来計３４１人が受賞。研究では、候補になった１０５６人中、戦死など不可抗力で死亡した人を除く日本人男性計７０４人を調べた。 そのうち、既に亡くなった３８１人の平均寿命を単純比較すると、芥川賞は受賞者が７４・８歳で、落選者を６・２歳上回った。直木賞は、受賞者は７３・３歳で落選者より２・４年短かった。 次に、存命者も含めた計７０４人について出身地など寿命に影響する他の要素を調整して比べた。初めて候補になった年以降の平均余命（予測値）を比べると、芥川賞受賞者は落選者より３・３年長かっ
レンズなしで画像を撮影できる新技術「FlatCam」
米ライス大学の研究グループは11月23日、レンズを持たない撮像素子でも画像が撮影できる新技術「FlatCam」を開発したと発表した。 一般的なカメラでは、レンズによって像が結んだところに撮像素子が置かれ、撮像素子の各画素の明るさを並べれば画像となる。FlatCamにはレンズがなく、一般的なカメラのような像も結ばない。
【アプリ評価★5を増やす機能】ヘビーユーザにだけレビュー依頼 - Qiita
# -*- coding: utf-8 -*- from __future__ import absolute_import, unicode_literals from review.review import ReviewManager USER_ID = "B00001" manager = ReviewManager(USER_ID) # 権利を持っているか確認 manager.can_review() # アプリ起動を記録 manager.app_startup() # -*- coding: utf-8 -*- from __future__ import absolute_import, unicode_literals import datetime from pip.utils import cached_property import redis PREFIX = 'R
『おそ松くん』エピソード 赤塚先生お気に入り『おそ松くん』1 | 赤塚不二夫公認サイトこれでいいのだ！！
チビ太は、金庫やぶりの名人として子分のハタ坊とともに悪事に手を染めてきました。が、この日、可走刑務所での刑期を終えて、これからは金庫やぶりはやめて、まじめに暮らすことを誓います。 トト子ちゃんの魚屋に就職したチビ太。その真面目な働きぶりからトト子や主人であるお父さんからも信頼を得て、後継ぎの話が出るほど。過去は封印して、新しい人生を歩もうと懸命です。 そこへ現れたのは、刑事のイヤミ。一度金庫やぶりという悪事に手を染めたものは、必ず繰り返すという持論のもと、チビ太を付け狙います。そして、チビ太の素性をバラすような素振りまで。が、チビ太は、もう昔のチビ太ではありません。
読み終えたが最後、徹夜はできなくなるだろう──『眠っているとき、脳では凄いことが起きている』 - HONZ
多くの人間は一日に6〜8時間ほどの睡眠をとる。そうなると、ごくごく単純に計算して人生の4分の1から3分の1を睡眠に費やしていることになる。それなのに睡眠のことはあまり意識されない。あって当たり前、時にはちょっとぐらいすっとばしても構わないものだと思われている。 しかし、かつて安眠が今ほど保証されていない時代のことを考えれば、6〜8時間も睡眠をとるのはとてつもなく危険だったはずだ。その上、睡眠は人間だけではなく、動物界に広く行き渡った機能である。多くの動物がわざわざ多大な危険をおかしてまで行っているのだから、当然そこには「睡眠が生命を維持するに必要不可欠な理由」があるに違いない。そうでなかったらこれほど深刻なバグはなかなかないだろう。その理由とはいったいなんなのだろうか？ 本書『眠っているとき、脳では凄いことが起きている: 眠りと夢と記憶の秘密』はその書名通り、眠っている時に脳で起こっている
恵俊彰が東京五輪の新エンブレム募集に苦言「PC使えないと応募できない」 (2015年11月24日掲載) - ライブドアニュース
by ライブドアニュース編集部 ざっくり言うと 24日の「！」でが、の新エンブレム募集に言及 「幅広くって言いながら、パソコン使えない人は応募できない」と指摘した 「手書きじゃだめなんだよ」とデザイン自体をPC上ですることを強調していた この記事を見るためには この記事はlivedoorNEWSアプリ限定です。 (アプリが無いと開けません) 各ストアにスマートフォンでアクセスし、 手順に従ってアプリをインストールしてください。 関連の最新ニュース 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 ランキング 総合 国内 政治 海外 経済 IT スポーツ 芸能 女子
suとsudoの違い - Qiita
suとsudoはオプションの違いはあるものの、できることはほぼ重複している。 ただ、suは切替先ユーザー（root）のパスワードが要求されるのに対し、sudoは元のユーザーのパスワードが要求される。sudoは/etc/sudoersで権限を細かく設定できるので、どちらか片方だけ覚えるならsudoだけを覚えておくとよい。 オプションによって実行後のカレントディレクトリや環境変数が変わってきて、それでハマることがあるので違いをまとめておく。 （Amazon Linuxで確認。CentOSでもほぼ同じと思うが、他のディストリビューションでは違う可能性あり） コマンド .bash_profile .bashrc pwd HOME PATH
C++11 乱数 std::random 入門
rand() の問題点 これまで広く使用されてきた rand() による乱数生成には以下の問題点がある。 生成される範囲が [0, 32767] と狭い rand() % N は一様では無い 周期があまり長くない 乱数生成アルゴリズムが固定（通常は線形合同法） 正規分布など、一様でない乱数生成が面倒 rand() で生成される値の範囲は [0, 32767] と狭い。15ビットしかない。 (rand() << 15) + rand() とすれば、30ビット乱数にすることは可能だが、スマートではないし、 生成アルゴリズムの関係で、乱数に偏りが出る場合がある。 通常、乱数として欲しいのは [0, N) 範囲の値であることが多い。この場合は rand() % N とすることが一般的だ。 しかし、このようにして生成した乱数は一様でなく偏りがある。特に N が大きい時にその現象が顕著になる。 例えば
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
M$よ、お前はOSだけ作っていれば良いのだ。
TechCrunch | Startup and Technology News
Python 機械学習プログラミング データ分析演習編
折り畳み傘専用の傘立て、キングジムが発売
サービス終了のお知らせ
レガシーな開発環境をモダン化している話