厳密な理論はきらいです
僕は、厳密な理論は、たいてい嫌いです ごく希には、大変面白くかつ重要な、厳密な理論もありますが、大部分は嫌いです。 その理由を書きます。 ※ 厳密な理論を、その実体以上にありがたがる風潮が、いよいよ強くなってきているように感じるので、それに警鐘をならすために書いたものです。だから、多少、断定的に、極端に書いている部分もあります。 ※ 「厳密な理論をやっている人が嫌い」というわけではないです。 念のため。 ※ 好き嫌いは、研究でも食べ物でも、個人の趣味嗜好の問題なので、以下の意見と正反対の事を言う人がいても、なんら不思議ではありません。念のため。 ※ 厳密はきらいだ、というのは、いいかげんが好きだ、という意味ではないです。様々な考察から摂動や平均場近似で本質をえぐれそうだ、と思うところはそれですませばよく、もっと別の（難しい） 定理なりなんなりを 持ち出すのが効率的だと思うところは、それを使
江添亮の詳説C++17
はじめに 本書は2017年に規格制定されたプログラミング言語C++の国際規格、ISO/IEC 14882:2017の新機能をほぼすべて解説している。 新しいC++17は不具合を修正し、プログラマーの日々のコーディングを楽にする新機能がいくつも追加された。その結果、C++の特徴であるパフォーマンスや静的型付けは損なうことなく、近年の動的な型の弱い言語に匹敵するほどの柔軟な記述を可能にしている。 人によっては、新機能を学ぶのは労多くして益少なしと考えるかもしれぬが、C++の新機能は現実の問題を解決するための便利な道具として追加されるもので、仮に機能を使わないとしても問題はなくならないため、便利な道具なく問題に対処しなければならぬ。また、C++の機能は一般的なプログラマーにとって自然だと感じるように設計されているため、利用は難しくない。もしC++が難しいと感じるのであれば、それはC++が解決すべ
自動運転の新基準は日本政府の過剰規制じゃない - nakachanのブログ
2017年10月13日にこのような記事が公開されました。 www.nikkei.com この記事の「自動運転、手離し65秒で手動に」というタイトルをぱっと見て、 それって「自動運転」じゃないじゃん！日本のお役所がまた面倒な規制をかけちゃって…… と思った方も多いと思います。 自分も気になって調べてみましたが、結論から言えばその考えはおそらく誤解です。 この新基準はむしろ規制緩和（正確に言えば時代に合わせた規制の適正化）といってもいいかと思います。 ここでは、新基準の背景や意義について調べた内容を説明していきます。 何を調べるのか 記事をしっかり読んでみる 基準改定前の状態を確認 基準の中身 自動運転のレベルについて 基準の前提と対象 報道発表資料や元の国際基準を見てみる 今の車はどうなるのか 今後の基準作成の方向性 なぜ誤解が生じるか 自動運転＝レベル4の自動運転のイメージがついている 元
AWS再入門 Amazon RDS編 | DevelopersIO
上記の中のRDBMS全てに加えて、クラウド時代に合わせて再設計したAurora、MySQLのフォークであるMariaDBが使用できます。 MySQL：最もシェアがあるOSSのRDBMS。 Oracle：高いシェアがある商用RDBMS。 SQL Server：高いシェアがある商用RDBMS。Windowsとの親和性が高い。 PostgreSQL：機能が豊富なOSSのRDBMS。 Aurora：AWSがクラウド時代に再設計したRDBMS。MySQL 5.6互換でMySQLの5倍高速と言われています。 MariaDB：MySQLからフォークしたRDBMS。MySQL互換。 性能向上が簡単に実施可能 Amazon RDSでは、様々なスペックのインスタンスを使用できます。最大40個のvCPUのインスタンスや244GBのメモリのインスタンスがあります。性能が不足してきたら、インスタンスのサイズを変更す
.bashrc/.zshrcを再読込した際にPATHを余計に追加しないようにする方法
B! 9 0 0 0 BashやZshで設定ファイルである.bashrcや.zshrcをちょっと変更して 再び読み込む場合、 PATHの値などは基本付け加えていく様な設定になってるため、 読み込む度に同じPATHが付け加えられていってやたら長いPATHの値になったりしてしまいます。 そういったことを避けるために最初にちょっと付け加えておく設定について。 .bashrc/.zshrcでのPATHなどの設定 _reset_path PATHを追加する時のもチェックする .bashrc/.zshrcでのPATHなどの設定 .bashrc/.zshrc の中で export PATH=/home/USER/bin:$PATH みたいな設定をして自分用のPATHを追加する事があると思います。 この設定のまま.bashrc/.zshrcを再び読み込むと $ echo $PATH /home/USER/
データベースへの論理的アプローチ： NULLについてチャンと考えよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
「奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか」のなかで、ピンクで「（詳細は別途記述予定。）」と書いてあるところが6箇所あります。これらの“ピンクの宿題”を順不同で片付けていきます（全部、片付くかは不明）。 ピンクの宿題 その1 単なるベキ集合でも（ある意味）重ね合わせです。[...今回の話題に関係ないので省略...]この枠組内でNULLの意味も（ヨタ話じゃなくて）分析できます。（詳細は別途記述予定。） NULLに関する基本的な事項についてゼロから考察してみます*1。予備知識として、ラーメン屋さんに行った経験を仮定しますが、その経験がなくても読めるように心がけました。この記事を読めば、NULLの使用法とダメさ加減がハッキリと分かるでしょう。 内容： NULLはダメなの？ なんで？？ 型と型構成子 ベキ集合の型 ラーメン屋さんの食券販売機 繰り返し型と不明型 繰り返し型を禁
夫（社長）の反対を押し切りVR筐体を開発!? 異例の社内ベンチャー設立経緯から世界平和の野望まで、“名物夫人（会長）”のゲームへの深い愛【コーエーテクモ:襟川恵子インタビュー】
2017年2月にコーエーテクモウェーブから発表された多機能VR筐体「VR センス」は、近年盛り上がりを見せるVRマシンの中でも、際だってユニークな存在だ。 ※VR センスでは、VRのシステム自体はPlayStation VRを使用している。プレイヤーはコックピット型の筐体内部に座って、VRの世界を体験。座っているシートが前後左右上下等に稼働してアクションを体感できる「多機能3Dシート」をはじめ、「香り機能」「風機能」「ミスト機能」「温冷機能」や、頭の上にいきなり虫が落ちてきたり、足下をネズミが走り抜けたりといった感覚を疑似体験できる「タッチ機能」まで搭載されている。（編集部注） 歴史シミュレーションゲームで知られるコーエーテクモが独自のVRマシンを、しかもアミューズメント向けの筐体をリリースするというのも驚きだが、我々が特に興味を抱いたのは、本機の開発経緯だ。 このVR センスはなんと、コ
衆院選2017総力特集！“オカルト候補”300人ぜんぶ載せ！
第48回衆議院選挙が10月10日に公示され、465議席を争って1180人が立候補した。有権者は安倍政権の存続を望むのか。モリカケ疑惑は？憲法改正は？安全保障政策は？喫煙者の人権は？ 選挙直前での「野党再編」はどんな結果をもたらすのか。 政策も政局も話題に事欠かない選挙戦だが、本紙ではそんな話とは一切関係なく、これまで本紙が取り上げてきたカルト宗教やニセ科学的なものと関わりがある「オカルト候補」を無慈悲にリストアップ。1180人中300人を超える候補者たちのオカルトぶりを徹底チェックした。（記事末尾に一覧あり） 取材・記事：本紙「2017衆院選特別取材班」 今回、「オカルト候補」を選ぶ基準には「日本会議」という要素を含めていない。日本会議が、本紙が通常扱っているような「カルト問題」にかかわる類の団体かどうかが明確でないこと、候補者によって関わり方や直接関わっている団体が違うこと、日本会議系議
新訳版『テスト駆動開発』が出ます - t-wadaのブログ
テスト駆動開発の考案者 Kent Beck が記した原典『Test-Driven Development by Example』を新たに訳し直し、新訳版『テスト駆動開発』としてオーム社から復刊しました。ただ訳し直すだけではなく、初めての方にも旧訳版をお持ちの方にも読んでいただけるための工夫を凝らしました。 テスト駆動開発 作者:Kent Beckオーム社Amazon 電子書籍版は Kindle 版は Amazon Kindle ストア、 PDF 版と EPUB 版は 達人出版会 から発売されています。 テスト駆動開発 作者:ＫｅｎｔＢｅｃｋオーム社Amazon テスト駆動開発【電子書籍】Kent Beck（著）, 和田卓人（訳） オーム社 発行日: 2017-10-20 対応フォーマット: PDF, EPUB 詳細を見る 『Test-Driven Development by Exampl
脆弱性検知ツールVulsの導入をしてから半年経ってみて
Helping Users Find Their Own Way: Creating Modern Search Experiences
「人工知能で神を」 元Googleエンジニアが宗教団体を創立
団体の名前は「Way of the Future（未来への道）」。ネットメディアのThe Vergeによると、宗教団体として税金の免除を受けるための書類は内国歳入庁（IRS）には提出されていないが、カリフォルニア州に提出された書類には、団体の目的が「人工知能に基づく神の実現を発展・促進すること」だと書かれていたという。
Engadget | Technology News & Reviews
Nintendo Switch 2: Everything we know about the coming release
時間のかかるCLIコマンドのお供にechoとBELを #AWSCLI | DevelopersIO
EC2 の start だったり CloudFront ディストリビューションのデプロイだったり、 数分単位で時間のかかる処理の完了を待つのに、AWS CLI の wait コマンドはすごく便利です。 でも wait コマンド自体は、指定した処理が完了したら静かに終了する、という動作1なので、 ふと気がついたら処理が終わっていた・終わったことに気付かなかった、ということがあって困ります。 こんな時、echo コマンドでベルを鳴らすと便利です。 本題の前に : AWS CLI の wait コマンドについて ある処理が完了するまで終了しないコマンド（Waiters サブコマンド）です。 AWS CLIのWaitersによる待ち受け処理を実装する 例えば CloudFront のとあるディストリビューションで、 設定変更後に InProgress から Deployed になるまで待つ場合には
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rebuild Team - 急成長プロダクトのDev&Opsで生じる悪循環とその解決策 / 20171013
文章を読む時脳内で声が再生される人、されない人: 不倒城