Python と型ヒント (Type Hints) - forest book
先日、Python の静的型チェッカーとして mypy を紹介しました。 mypy で静的型付け Python プログラミング - forest book 私には難しくてまとめきれないため、Guido が参照している漸進的型付け (Gradual Typing) も含め、また別の機会に、、、。 とか言っているうちに1ヶ月ほど経ってしまいました。 そうこうしているうちに PEP のドラフトも出てきたので区切りとしてまとめておきます。一通り調べたことを基にして書いていますが、私の誤解や勘違いもあるでしょうから怪しいところがあったら調べ直してみてください。もちろんツッコミも大歓迎です。 型ヒント (Type Hints) を導入するという提案 PEP 483 - The Theory of Type Hints | Python.org PEP 484 - Type Hints | Python
【ノンプログラマ向け】プログラマの仕事内容を理解する(1) ～「テスト」という工程が必要な理由 | きのこる庭
前書き 「一緒に働いている以上、プログラマのことを理解して仕事をしたい」そう考えている企画・ディレクションの方は経験則的に少なくない。 ノンプログラマから見て、プログラマの仕事はイメージが湧きづらく、何故その工程にそこまでのコストをかける必要があるのかわからない事が多い。 プログラマは作業の必要性を説明してくれるかもしれないけれど、専門用語も多いしイマイチピンとこなかったりする。 ここで重要なのはまさに「イメージ」だと思う。すなわちイメージを提供するための良質なメタファーだと思う。メタファーが良質であれば より直感的に理解できる。 実際メタファーの力はバカにならない。「Chef」も「Jenkins」も それぞれ 統一的な世界観が学習者の直感的な理解を後押ししてくれる。 というわけで、今回から数回に分けて なるべく「技術的な話」をせずに イメージを想起しやすいストーリーを導入することで プロ
初心者の方にこそすすめたい ScalikeJDBC #play_kb - seratch's weblog in Japanese
#play_kb 「PlayFramework関西ビギナーズ 第2回 #play_kb」という Play Framework 初心者の方向けの勉強会が行われているようです。素晴らしいですね。 http://www.zusaar.com/event/891003 東京で Scala 界隈の方にお会いすると、名前くらいは知っていただけていることも増えてきましたが、それは地域限定の話で、まだまだ知名度が低いようです。 ScalikeJDBC も選択肢に加えてあげてください！ #play_kb— がくぞ (@gakuzzzz) August 3, 2013 ScalikeJDBC はまだまだ知名度が足りないですね。たぶん初心者の人はこっちの方が楽ですよ。 #play_kb— Kazuhiro Sera (@seratch) August 3, 2013 @seratch SlickもSqueryl
Shibu's Diary: iOSはなぜAndroidの半分のスペックでも快適なのか
渋日記@shibu.jp 渋川よしきの日記です。ソフトウェア開発とか、ライフハックを中心に記事を書いていきます。 iPhone6/6 Plusのメモリが1GBしかない理由 この記事が突っ込みどころが多いと話題になっています。初期の頃はiOSのなめらかな動きと比べたらAndroidは劣化版と言われても反論できない感じでしたが、Nexus 4/Nexus 5ともなるとだいぶ快適で乗り換えても違和感なく使えるようになりましたが、同じぐらいの快適さが得られるハードウェアを比べてみると、メモリも半分で、コア数も半分で、クロック周波数も半分で、バッテリーにやさしいハードウェアになっていることは確か。なぜそれでやっていけるのか、ということについて僕なりの理解をまとめます。元の英語記事は読んでません。 メモリ管理方式の違い Androidはマーク・アンド・スイープ方式のGCで、iOSはNSAutorele
コマンドラインツールを作るときに参考にしている資料 | SOTA
コマンドラインツールについて語るときに僕の語ること - YAPC::Asia Tokyo 2014 コマンドラインツールが好きで昔からつくってきた． 今年のYAPCで，そのコマンドラインツールをつくるときにどういうことを意識して作っているのか？どのような流れで開発しているのか？といったことを語る機会をもらえた． 具体的な内容については，是非トークを聴きに来てもらうとして， スライドをつくるにあったって過去に読んだ資料や，よく参考にしている記事を集め直したので，その一部を参考資料としてまとめておく． UNIXという考え方 UNIXという考え方 Mike GancarzによるUNIXの思想や哲学をまとめた本．古いが全然色あせてない． コマンドラインツールの作り方を書いた本ではないが，これらの思想の上で動くツールはこの思想に準拠して作られるべきだと思う．何度も読んで考え方を染み付かせた． 小さい
脆弱性と攻撃をめぐる事件と話題
話題となったHeartbleedをきちんと理解できていますか？ 本連載では、ゼロデイ攻撃を議論するための基盤となる「基本的な技術情報」をまとめます。 連載目次 セキュリティ、“ちょっとだけ技術寄り”の基礎固め 「セキュリティ」という言葉が普及したことで、より「分かりやすいセキュリティ」が求められるようになりました。そして、その反動なのか、セキュリティに関する具体的な技術詳細について取り上げられる機会が少なくなったように思います。私自身、広く理解される内容を求められることが多く、少々フラストレーションが溜まっているような気がしています。 そこで、機会が少ないのであれば自分で取り上げてみようと、「誰もが理解できる」ことは忘れて、「Beyond Zero-day Attacks ～ゼロデイ攻撃をめぐる攻防～」と題したセミナーを、INTEROP Tokyo 2014においてトレンドマイクロの新井さ
【コレはヒドイ】ソニーがTwitterのフォロワーを買ってしまったわけ→追記有り｜More Access! More Fun
乗っ取りの多さに耐えかね、いよいよLINEが17日からスマホにもPINが設定できるようになります。 【重要】スマートフォン版LINEのセキュリティ強化のため、「PINコード」による本人確認手順を追加します（7/17開始） PCからのアクセスは制限されたものの、乗っ取りが全く減らない。これでわかったことは中国の犯罪者共はスマホでひとつずつコツコツと乗っ取っていたわけ。どんだけ人海戦術なんだ・・。こうなるとID削除依頼して再登録しかないわけだが、有料のアイテムを買ってる人にはひとつひとつLINE側で対応しているようだ。対応がけっこう早いところを見ると数百人規模を動員していると推測。新しいPINコード設定システムは強制ではないが、別のデバイスからログインするときには求められるから乗っ取りはしにくいでしょう。その代わり「設定しないで携帯を買い換えたらログインできなくなった」というクレームがたくさん
大塚英志緊急寄稿「企業に管理される快適なポストモダンのためのエッセイ」 | 最前線 - フィクション・コミック・Webエンターテイメント
星海社ウェブサイト『最前線』において6月中旬の開始を予定している大塚英志氏の新連載『角川歴彦とメディアミックスの時代』の公開に先駆けまして、大塚氏から緊急寄稿がありましたので急ぎ僕のブログを通じて公開いたします。タイトルは「企業に管理される快適なポストモダンのためのエッセイ」。 先日発表されたKADOKAWA・DWANGOの誕生が放つ巨大な重力から逃れて生きることは、ライトノベル、漫画、アニメ、ゲーム、ネットなどのただ中で生きている僕たちにとってはほぼ不可能な状況になることでしょう。だからこそ、僕たちはたった今、個人個人が真剣にこのKADOKAWA・DWANGOの合併劇について考えるべきなのではないでしょうか。そういった意味で、この緊急寄稿は必読のテキストであると考えます。 また、新連載『角川歴彦とメディアミックスの時代』では、「メディアミックス」の誕生の原点とされる80年代史と角川源義、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【ネット著作権】著作権「死後50年」は本当に短すぎるか？ 10分でわかる正念場の保護期間問題