うっかりチューリング完全になっちゃったもの
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
TopCoder Open 2015 Round 2B --- 1250->1221 - 唯物是真 @Scaled_Wurm
TopCoder Open 2015のRound2の2回目 朝6時開始に寝坊して間に合わなかったのだけど、開始が1時間遅れたので参加できた(？) 残念ながら例のごとく1問も解けず 323位, 0点, +0/-0 challenge Volatility: 201->192 Round2の3回目はオンサイト(ドワンゴ)でやるっぽいのかな？appirio.co.jp 250: Bitwisdom \(N\)桁のビット列のそれぞれのビットについてビットが\(1\)になる確率\(p\)が与えられる ある位置から左右いずれかすべてのビットを反転させるという操作を行える時に、すべてのビットが\(0\)になるまでの最小回数の期待値を答える \(01\)や\(10\)のようにビットが\(0\)か\(1\)のどちらかからどちらかへ変化した時だけ必要な回数が増える 期待値の線形性よりそれぞれの位置で\(01\
GoCon 2015 Summerにて『ピクシブ社内広告サーバーでのGoの開発・運用』という発表をしました #gocon - catatsuyとは
gocon.connpass.com 発表しました。 speakerdeck.com ピクシブ社内広告サーバーでのGoの開発・運用 #gocon /p_ads_server_gocon2015 // Speaker Deck 今までも広告サーバーについての発表をしてきましたが、GoConなどのGo言語の勉強会での発表は初めてでした。 今回の発表は今までの発表に加えて、Go言語でWebアプリケーションを作る上での工夫を念頭に置いた資料にしました。また最近やったCPU Throttlingやログファイルの書き込みなども盛り込んでいます。 GoConに参加したことがなかったのでどういう発表をすればいいのか迷いました。もう少し実際のコード片とかを出した方が良いかなぁと思いましたがスライドに載せるのが難しかったので説明を中心にしました。 GoConは非常に興味深い発表が多く、またスライドやらGoのド
OLの事務vim日記 - 藻ログ
4月から都会でOLとして働き始めたので, OL的windowsの事務処理環境を手探りで作ってみました. OLとWindows 事務処理といえばOffice, 当然Windowsで行うことになります. 今時のOLは家ではLinuxを使っているはずなので, 自然とシェル環境で困ることになります. Windowsが本当にわからない linuxコマンド使いたい（DOS音痴） Cygwinは嫌い MinGW+MSYS にしてみたい(けど未だによくわかってない) 事務PCなので, 大掛かりな環境は入れたくない（入れられない） WSL ? そもそも Windows7 なので（ry） などのモチベーションから 色々見ていてcmderが良さそうだなと思ったのですが cmder.net 所属機関でフィルタされて落とせなかった（つらい）ので, ConEmu + msys bash の組み合わせで端末環境を整える
Scrapy | A Fast and Powerful Scraping and Web Crawling Framework
pip install scrapy cat > myspider.py <<EOF import scrapy class BlogSpider(scrapy.Spider): name = 'blogspider' start_urls = ['https://www.zyte.com/blog/'] def parse(self, response): for title in response.css('.oxy-post-title'): yield {'title': title.css('::text').get()} for next_page in response.css('a.next'): yield response.follow(next_page, self.parse)EOF scrapy runspider myspider.py
Scrapy 1.0が公開されました - orangain flavor
Pythonの有名なWebスクレイピングフレームワークのScrapyがバージョン1.0になりました。*1 0.24からの主要な変更点は下記のとおりです。 SpiderでItemの代わりにdictを返せるようになった Spiderごとにsettingsを設定できるようになった Twistedのloggingの代わりにPythonのloggingを使うようになった CrawlerのコアAPIがリファクタリングされた いくつかのモジュール配置場所が変更された 他にも数多くの変更点がリリースノートに記載されています。 Scrapy 1.0の感想 大きな機能の追加よりも、APIの整理と安定性の向上がメインのようです。これまではバージョンを重ねるごとに便利になっていくものの、あまりAPIが安定していない印象でしたが、APIを安定させた区切りのリリースと言えるでしょう。1.0というメジャーバージョンに到
Google I/O 2015 で発表された Cardboard 2 の変更点 - kakakakakku blog
Google Cardboard 2 Google I/O 2015 で Cardboard 2 を出すよ！っていう発表があったらしく，その変更点などを簡単にまとめてみた． ちなみに Cardboard 2 っていうのはメディア側で呼んでる仮名称で，プレゼンテーションでは Cardboard I/O 2015 と言ってたとのこと． 変更点は大きく3点 細かな変更はあるし，Project Jump の発表もあったみたいだけど，Cardboard 2 の変更点は大きく3点ある．どれも実際の写真を見ればすぐわかる．最後に記事のリンクを整理しておくので要チェック！ 1. 大型スマートフォンに対応した大きさに Nexus 6 や iPhone 6 Plus など大型スマートフォンに対応した大きさになる． 今までの Cardboard だと Nexus 6 は使えなくて，Nexus 5 でピッタリぐら
元ストーカーが教えるネットの危険性…写真から辿れる個人情報
伊藤ロマ@金魚 @kingyo_roma 私は元ストーカーでございます。ストーキングしたいわけじゃないんだけどストーキング以外に愛情表現わかんない☆っていうたちの悪いストーカーでした。過去ね、過去。 住所とか職場とか電話番号とか家族構成寝る時間好きなもの、全部調べるの得意です。 で、昨日の夜ふと思い立った。 2015-06-20 12:51:56 伊藤ロマ@金魚 @kingyo_roma 絡みがあるわけではないけど、TLでたまに見かける人で、子供の写真を思いっきり晒してる人がいて… この人のこと、インターネットだけを使って、どれだけ調べられるかなぁ？と、試してみました。 結果… 2015-06-20 12:53:54 伊藤ロマ@金魚 @kingyo_roma 以下のことを、インターネットのみで特定することに成功しました。 ・本人と子供の本名 ・住所 ・電話番号 ・子供が取り組んでいるスポー
3Dプリントなら、こんなファンタジーな蛇口ができる！
オレンジジュースがでる夢の蛇口以上に、夢の蛇口らしい雰囲気でしょ。 3Dプリンターの登場は、試作品が手早くできるようになったという大きな功績がありますが、それだけじゃありません。今まで、複雑すぎて不可能に近かったモノを作れるようにもなったのです。ファンタジー世界のようなユニークなデザインの蛇口だって、ほらこの通り。まるで映画の小道具さながらのデザインだと思いません？ 米国のキッチン・バス周り大手であるアメリカン・スタンダードが、3Dプリントした蛇口を新ラインナップに加えています。全3種類、なんとも美しい！ 3Dプリントされていますが、材質は金属。なので、従来のおなじみ蛇口同様に長く使うことができます。3Dプリンターの可能性、使い道を、身近に示す素晴らしいプロダクトですね。とはいえ、3Dプリントは制作に時間がかかるもの。これらの蛇口も1つ24時間ちかくかかるということです。ということは、お値
MacにRubyの環境構築をしてみました - Gobble up pudding
2015-06-21 MacにRubyの環境構築をしてみました Ruby スポンサードリンク Ruby初心者です。 大学時代になぜか文系だけどなぜかRubyを半年間の授業で Rubyちょこっと触ってたことがあります。 C言語の次に触った言語です。 C言語は高校生の時にfor分使って満足していました。 中二病です。それで何か作ったわけではありません。 関数って難しいよね。とか。 macにはもともとRubyは入っているんですが、Tcl/Tkを使ってみたくて、 rbenvも入っていないことでしたので、 ついでにRuby on Railsもいれました。 乗るしかない、このビッグウェーブに私の環境ですが、 MacBook Air (11-inch, Early 2015) OS X Yosemite 10.10.3 まずはRuby on Railsから Ruby - Home
PEGと構文解析に関するアレコレの勉強会 Vol.1 開催の動機について - kmizuの日記
勉強会についての詳細はこのエントリの一番下の方をみてもらえればと（もうほとんど枠が埋まっちゃってますが。この辺はほんとに予想外）。このエントリでは、なんでこんな勉強会やろうとしたかという動機でも書いておこうかなと思います。 私は大学院生時代、構文解析アルゴリズム、特にParsing Expression Grammar（PEG)とその最適化手法であるPackrat Parsingの研究をしていました。それなりにまとまった研究にはなったとは思うのですが、同時にまだまだやり残したことが多いとも感じていました。 その後、研究職についていれば話は簡単だったのですが、研究に戻るのはあとでも出来るだろうという安易な思いつき（実際にはそれほど簡単な話ではないことを思い知るわけですが）によって、ふつーのソフトウェア企業（最初に就職した企業ではあんまり普通でない開発してた気はしますがそれはおいといて）に就職
看護師になって2ヶ月半、水商売に戻りたいと思う理由 - プロセスレコード
水商売を卒業し、総合病院の新人看護師となって2ヶ月半が経ちました。 そこそこ良好な人間関係の部署の中、厳しいながらも熱心なプリセプターさんに指導していただいて、理不尽に怒鳴られることなく、優しい先輩方がしょっちゅう「困ってることない？大丈夫？」と声をかけてくださって、楽しい同期達が休前日になると私の家に泊まりにくる、この上なく恵まれた社会人人生を送っています。 恵まれているのはよくよく分かっている生活の中、ついぼんやりと毎日のように考えてしまうのが、水商売への復帰だったり。 夜の仕事は好きではあったけど、あくまでお金が必要だから働いていただけの筈で、「大学卒業するまでだから」と自分に言い聞かせながら頑張っていた筈。 もう二度と指名数のノルマと売り上げに追われる必要もなければナンバー争いの女同士のごたごたで靴やドレスがなくなる心配もなければ某掲示板サイトで「枕しかできないブス」と書かれる不快
密造酒か 飲んだ８０人以上が死亡 インド NHKニュース
インド西部で、密造酒とみられる酒を飲んだ人が体の不調を訴えて次々に病院に運ばれ、これまでに８０人以上が死亡しました。インドでは安い密造酒を飲んだ人が死亡する事件が相次いでいて、深刻な社会問題となっています。 現地のメディアによりますと、酒はスラム街にある店が販売していた密造酒と見られ、２０日までに８４人の死亡が確認され、３０人以上が病院で手当てを受けているということです。 警察当局は、この酒を販売するなどした疑いで小売り業者ら５人を逮捕し、製造過程などについて捜査しています。 インドでは、４年前東部の西ベンガル州で、工業用のメタノールが含まれた密造酒を飲んだ建設現場の作業員ら１００人以上が死亡するなど、正規に販売されている酒を買うことができず、安い密造酒を飲んだ人が死亡する事件が相次いでいて、深刻な社会問題となっています。
コミット数が多いファイルを表示するコマンドを書いた - AnyType
インストール $ go get github.com/naoty/hot 使い方 $ cd src/github.com/naoty/Timepiece $ hot 24: README.md 17: Sources/NSDate+Timepiece.swift 15: Tests/NSDate+TimepieceTests.swift 10: Timepiece.xcodeproj/project.pbxproj 9: Timepiece.podspec 7: Sources/Duration.swift 7: Tests/DurationTests.swift 7: Tests/Int+TimepieceTests.swift 6: Sources/Int+Timepiece.swift 4: Sources/NSDateComponents+Timepiece.swift 2: .t
スマートポインタ(shared_ptr)を使ってみる C++11 - Gobble up pudding
スマポだよ！スマポ！ナマポまだ使ってんの？ぷぷぷ(๑˃̵ᴗ˂̵)و 大半の用途でスマポに置換えるべきだと最近思います。 布教もかねて、C++ってアレだよね？レガシーなあれだよね？ と思われている方もいると思いますが……誤解です。 確かにC++03までだと古臭い言語という感じがしますが、 C++11からそんなことなくなっています。 Javaのほうがむしろ古臭くなってしまっています。 簡単なサンプルコードで比較してみます。 C++03まで #include <iostream> #include <vector> #include <string> struct CTest { int foo; int bar; CTest(int f, int b) : foo(f), bar(b) { } }; int main() { using namespace std; vector<CTest
C++プログラマーよ！std::make_sharedを安易に使うべからず！ - 株式会社CFlatの明後日スタイルのブログ
boost::shared_ptrやstd::shared_ptrの便利さは、boostやC++11に慣れた方であれば当然ご存知かと思います（もちろん、循環参照の危険性や、それを回避するためのweak_ptrの使い方まで含めて）。 しかし世の中というものはさらに便利にできていて、この便利なshared_ptrをさらに便利に扱うためにmake_sharedという関数が用意されています！ make_sharedは何が素晴らしいのか C++に限らず、メモリ確保というのは一般に極めて重い処理になります。よって、newの回数をなるべく少なくするようにプログラムを書くのが高速化のカギになります。 さてそこで、試しに次のようなコードを書いてみましょう。 #include <stdlib.h> #include <memory> #include <iostream> static const char
GitHubのヘッダーを改善する！ Google Chrome用拡張 GitHub Better Headerを作りました - プログラムモグモグ
最近、GitHubのヘッダーのデザインに変更があり、いくつかのリンクの位置が移動しました。Pull requestやIssuesのリンクはなかなか便利で、これはいい改善なのですが、元々あったリンクでよくクリックしていたものがドロップダウンの中に入ってしまい、使い勝手が悪くなってしまいました。 自分のページ (github.com/ユーザー名) へのリンクがメニューの中に入り、クリックしにくくなった。このページは頻繁に見ていた。 Explore がメニューの中に入り、クリックしにくくなった。わりと見ていた。 これをいい感じのヘッダーにするGoogle Chrome拡張を作りました。 GitHub Better Header めちゃくちゃ便利なので、ぜひ使ってみてください。Web Storeには上げていないので(アイコン作るのがめんどくさすぎて…)、git cloneして直接拡張ページからイン
ビルドオートメーションツールGYPを使おう - Engine Trouble
GYP (Generate Your Projects) をご存知でしょうか。その名の通り、GYP はビルドツールで、ウェブブラウザの Chromium や JavaScript Engine の V8、そして JavaScript の実行環境に V8 を採用している Node.js など様々なプロジェクトで採用されています。 GYP はオープンソースです。Google Code で公開されており、誰でも手に入れることができます。 GYP は C++ をはじめ、ビルドを必要とする C や Objective-C を使用したプロジェクトにおいて、ビルドオートメーションを実現するために役に立ちます。 ただ、CMake や SCons に比べまだまだユーザが少なく、ドキュメントも豊富ではありません。そこで今日は GYP について紹介します。 GYP ってどんなもの？ 例えばあなたが、C++ で書
［速報］「Open Container Project」発足。Docker、CoreOS、マイクロソフト、Amazon、Googleらが合流し、コンテナは統一仕様へ － Publickey
［速報］「Open Container Project」発足。Docker、CoreOS、マイクロソフト、Amazon、Googleらが合流し、コンテナは統一仕様へ 6月22日（日本時間23日早朝）に開催した「DockerCon 2015」の基調講演において、コンテナ標準化団体「Open Container Project」の発足が発表されました。 コンテナの標準仕様「Open Container Format」発表 Docker創業者兼CTOのSolomon Hykes氏。 Dockerの本当の価値はテクノロジーではない。 何も変更することなくどこでも同じアプリケーションが実行でき、そうしたものが自動化できる、ということが重要だ。Dockerはそのデファクトスタンダードになった。 私たちにはこれを適切な標準にする義務がある。そこで、「Open Container Format」を発表する
シロクがアプリ内特定ページへの遷移を指定するディープリンクツール「Growth Link」の提供を開始 - BRIDGE（ブリッジ）テクノロジー＆スタートアップ情報
数々のグロースハックツールを開発しているシロクが、新たにスマートフォンアプリの開発・運営を支援する新たなディープリンクサービス「Growth Link（グロースリンク）」の提供を開始した。 「Growth Link」は、アプリ内の特定ページに直接遷移するために必要となるディープリンクを、簡単に設定することができるサービスだ。シロク代表取締役の飯塚勇太氏によれば、最近、アプリ広告ではアプリをインストールしてもらいたい場合に、クリック率を高めるためにアプリ内容と異なったバナーを表示させてストアに遷移した際に離脱してしまうケースが増えているという。 アプリをインストールしていないユーザが広告をタップした場合、まずランディングページへと遷移させる。ランディングページからストアへと誘導させることでユーザにアプリを理解してもらった上でインストールしてもらうなど、ディープリンクを活
［速報］Dockerが新コンテナランタイム「runC」を発表、LinuxとWindowsをネイティブサポート。ライブマイグレーションも可能に
Dockerは6月22日（日本時間23日早朝）に開催した「DockerCon 2015」の基調講演で、新しいコンテナランタイム「runC」を発表しました。 Docker Engineと互換、Linux、Windowsをネイティブサポート、ライブマイグレーションも runCのWebサイトの説明によると、runCはDocker Engineと同じ技術であるlibcontainer上に実装されており、Dockerと互換性を備え、従来のDockerイメージはそのまま実行可能。一方、コンテナはrunCの子プロセスとして起動し、デーモンが不要になることで管理が容易になるとのことです。 マイクロソフトとの協業の成果もrunCに投入され、LinuxとWindowsをネイティブにサポート。x86はもちろん、ARMとも協力し、ARMプロセッサもサポート。 runCは「It's available today,
シンプルで移行しやすいデータベースシャーディング - クックパッド開発者ブログ
技術部の小野(taiki45)です。クックパッドではこれまで様々なデータベースの負荷対策を行ってきましたが、シャーディングは行われていませんでした。しかし先日クックパッドの認可サーバーが利用している MySQL サーバーの負荷分散のためにクックパッドで初めてのシャーディングを行ったので、Rails アプリケーションでのシャーディングの事例のひとつとしてその際の手法をご紹介したいとおもいます。 構成 Before データベースは1マスター、1ホットスタンバイ、バッチ用の1リードレプリカで構成されています。Read オペレーションのほとんどはキャッシュ層に逃しています。 After データベースの各ロールにつきそれぞれ1台ずつマシンが増えています。 シャーディングが必要になった背景 認可サーバーのアクセストークンの作成・削除時の Write オペレーションが急増し、レコード数自体も急増していて
Go言語でコマンドラインツールをつくるときに僕の語ること #gocon // Speaker Deck
My talk slide at GoCon summer 2015 (http://gocon.connpass.com/event/14063/). How to write good CLI tool by Golang. This is mostly what I'm thinking when writing CLI too by Golang. So what is *good* CLI tool? I have 7 principles, 1. Do ONE Thing Well, 2. Intuitive UI/UX, 3. Play with Others 4. Helpful, 5. Configurable, 6. Painless Installation, 7. Maintainable. In this talk, I'll explain how to rea
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - chrissimpkins/codeface: Typefaces for source code beautification
今さら聞けない Linux コンテナの基礎 (2015-06-20)
Golang で心を無にしてコードを書く // Speaker Deck