IDEA * IDEAドットインストール代表のライフハックブログ
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
「戦力外社員こそ奇跡のWebサービスを作る」ドワンゴ川上量生氏が語る、未来のネット企業のあり方 - エンジニアtype
ドワンゴの創業者で、代表取締役会長兼CTO、ニコニコ動画生みの親で、スタジオジブリの見習い社員でもある川上量生氏。独自過ぎる路線でインターネット業界に話題を提供し続ける川上氏が、先月、初めての単著『ルールを変える思考法』（KADOKAWA）を上梓した。 身をもって体験したネットワークゲームの世界の深さやドワンゴ設立の経緯、ニコ動に打って出た背景、そして「ニコ動は近い将来滅びる。それが運命」という予測までが、率直な言葉で綴られている。 そんな川上氏は、これからのドワンゴ、ひいてはIT業界全体の行く末をどう見据えているのか。著書をもとにそれを尋ねるつもりだったのだが、話は思わぬところから転がり出した。 当代きってのビジョナリストが語る「異端児の正論」に耳を傾けてみよう。 株式会社ドワンゴ 代表取締役会長 CTO 川上量生氏 1968年生まれ。スタジオジブリ・プロデューサー見習い。株式会社カラー
Git チームワークフロー: マージ (merge)、それともリベース (rebase) ? | Atlassian Japan 公式ブログ | アトラシアン株式会社
質問は簡単です。git と フィーチャーブランチ を利用しているソフトウェアチームにとって、完了済みの作業を開発のメインラインに取り込む最良の方法は何でしょうか？これは、確固たる意見を持つ両陣営によって繰り返し展開されている議論の一つですが、やはり議論には最低限の配慮を持って対応したいものです。 (その他の激しい議論の例としてはこれがあります: The Internet)。 リベースを行って、リポジトリの履歴をフラットかつクリーンに保つべきでしょうか？それとも、可読性と明晰さを犠牲にする事でトレーサビリティを得られる、マージを行うべきでしょうか？( ファストフォワード マージを禁止するなど。) 議論 このトピックは、vim と Emacs や Linux と BSD ほどまでには有名な論争の的とはなっていないものの、双方共に遠慮なく意見を述べ合っています。 all-things-git に
日本のAmazonが実績から選定した「オールタイムベスト小説100」が発表
By Noelas 2000年のスタートから13年にわたって書籍オンライン販売を行ってきた日本のAmazonが選んだ「オールタイムベスト小説100」が発表されました。過去13年間の販売数、カスタマーレビューの評価をはじめとする各種データをもとに選ばれた100作品にはいったいどのようなものが含まれているのか、一気にまとめてみました。各ページの下部には、「最も参考になったカスタマーレビュー」もあわせて掲載されているので、作品を知る参考にもなるはずです。 オールタイムベスト小説100 http://www.amazon.co.jp/gp/feature.html?docId=3077738486 ◆永遠の0 (講談社文庫): 百田 尚樹 ◆海賊とよばれた男 上: 百田 尚樹 ◆博士の愛した数式 (新潮文庫): 小川 洋子 ◆空飛ぶタイヤ(上) (講談社文庫): 池井戸 潤 ◆下町ロケット: 池井
ディスプレイを通して3次元空間を作業スペースとして使用できる「SpaceTop」
2次元と3次元空間を融合させて1つのデスクトップとして使うことができる技術が「SpaceTop」です。フィクションの世界で見かける「何もない空間に投影されたディスプレイを手で掴んで動かす」に似た動作が実際にできるようになっており、デモンストレーションムービーが公開されています。 SpaceTop - Jinha Lee MIT Media Lab http://leejinha.com/SpaceTop SpaceTop, CHI 2013 on Vimeo 「パソコンのディスプレイが近すぎる人」ではなく、SpaceTopを使用しているところ。 画面は透過式で、画像を投影していても向こう側にある手やキーボードが少し見えています。 SpaceTopのすごいところは3次元空間上にウインドウなどをずらっと並べられるところ。横から見ると手を持ち上げているだけに見えますが…… ディスプレイを通してみ
スマホやPCと無線で接続可能、重量わずか22グラムの超小型カメラ「Ai-Ball」を使ってみた
約3センチ四方の小型ボディにレンズと撮像素子、マイク、Wi-Fiユニットなどを備え、スマートフォンやPCに映像を送ることができる小型のワイヤレスカメラが「Ai-Ball」です。発売元のTrek社によれば、無線接続機能を備えた市販のカメラとしては世界最小クラスの製品ながら、ムービーの撮影やインターネット経由で撮影した映像を見ることもできるということなので、実際に購入して使い勝手を確かめてみることにしました。 Ai-Ball ---iPhone/iPad/ スマートフォン/PC対応 超小型WiFiワイヤレスカメラ http://www.owltech.co.jp/products/variety/Ai-Ball/Ai-Ball.html パッケージはこんな感じ。 カメラとWi-Fiでアドホック接続したデバイスで映像を見たり録画したりできる他、カメラと無線LANルーターを接続すればインターネット
samulife.com - このウェブサイトは販売用です！ - リソースおよび情報
このウェブサイトは販売用です！ samulife.com は、あなたがお探しの情報の全ての最新かつ最適なソースです。一般トピックからここから検索できる内容は、samulife.comが全てとなります。あなたがお探しの内容が見つかることを願っています！
少ない手間と知識でそれなりに見せる、ズルいデザインテクニック// Speaker Deck
少ない手間と知識でそれなりに見せる、ズルいデザインテクニック with Sass / Compass (English Version) https://speakerdeck.com/ken_c_lo/zurui-design-technique-english-version 第一回 プログラマ向けデザイン勉強会 #design4p http://connpass.com/event/1185/ で発表させていただきました。 （#p4d プログラマ向けデザイン部 主催イベント http://prog4designer.github.io/） @mah_lab さんが ズルいデザインのRails gemを作って下さいました http://blog.mah-lab.com/2012/11/07/zurui-design-for-rails/ (Repository) https://git
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://sealion.com/