以前、「勉強会に参加しないと不幸になる話」というのをアップしました。 勉強会に参加しないと不幸になる話 - きしだのはてな このときは、勉強会x勉強会という枠だったので、「勉強会」と表現していますが、実際にはコミュニティに参加しないと不幸になる話でした。 あと、ここでの幸せ・不幸せというのは、エンジニアとして、という話で、エンジニアリング能力があがるとか、エンジニアリングの活動がやりやすいとか、エンジニアリングの活動が評価されるとか、エンジニアリングの話題を共有できる仲間が増えるとか、そういう観点です。 エンジニアとしての幸せ以外にも、人生にはさまざまな観点の幸せがある、ということは最初に補足しておきます。 会社が教育機能をもっていない エンジニアとしての幸せに大切なのは、エンジニアリング能力を上げていくことです。 ただ、2013年の産業経済省IT人材白書の概要に IT企業に対して、201

今からちょうど4年前の2010年2月、某巨大SIerの片隅でExcelやPowerPointばかりを眺めて過ごしていた頃、おれは仕事でも仕事以外でもコードなんかまったく書いていなかったし、GitHubのアカウントも持ってなかった。毎日見積書とWBSと納品書と請求書と、Excel方眼紙の詳細設計書と格闘してた。 当時おれは30歳だった。一度はプログラマとして生きるのは自分には無理だと思って入社したSIerで数年やってて、そこそこ成功した数年を送っているとは思っていたけど、でもやっぱり、そんな毎日に飽きていた。 技術力を重視とか言いながらプロパー社員にコードを書かせようとしない会社の方針にも、svnもgitも閉じられててガチガチに監視されたネットワークに繋がせておいてオープンソースがどうのと言う文化にも、手順や履歴を重視とか言いながらロクにバージョン管理システムを使おうとしない一部の同僚にも、

スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45

マガジンやサンデーと違って、特別別格に可愛いヒロインがいるというわけではない。 それなのにごく稀に現れた別格に可愛いヒロインがいたら、腐女子が何故か騒ぎ立てて存在を抹消されるか、リナリー・リーのように没個性化される羽目になる。 そもそも少年誌なんだから、少年がヒロインのために悪と戦う構図が王道なのは当然なのに、そして、ジャンプ漫画というのは古くから伝統的に少年がヒロインの少女を守るべく立ち上がって出会った敵と闘い、仲間と切磋琢磨して成長して行く物語が主だったりするのに、昨今のジャンプ漫画の人気作品には殆どそれが見られない。 一体何に支えられているのか、不思議でならない。 ネット界隈ではやはり、というか腐女子が作者の物語をアンケートなどによって強引に捻じ曲げているのでは？と見る向きもあるが、最終判断はあくまで作者の意向に委ねられているから、それも難しいかなと思う。 いずれにせよ、天下のジャン

「プログラマの実力」とは一体何を指すのだろう、とよく考えることがあります。特に、プログラミング雑誌の編集者としては、「プログラミングの初心者と中級者を分けているもの」に、とても興味があります。 中級者と見なされるには、様々なものが求められるでしょう。特定のプログラミング言語の文法を隅々まで把握していることかもしれませんし、最新のライブラリやツールを使いこなせることかもしれません。たしかに、こうした知識は、優れたソフトウエアを開発するうえで重要です。ただ、そうしたノウハウは、使用するプログラミング言語や開発環境が変わると役に立たなくなることもあります。 そこで、日経ソフトウエア2014年4月号で、「中級者に必要なものは何か」をテーマにした「初心者脱出の近道は？ プログラミングの『壁』大攻略」という記事を執筆しました。この記事では、中級者に必要なものを「良い習慣」と位置付け、どのような習慣が必

先日、第56回グラミー賞受賞式で5部門を受賞したダフト・パンクだが、これまでのミュージック・ビデオと合わせて最新作『ランダム・アクセス・メモリーズ』の全曲の音源を自身のオフィシャルYouTubeで公開している。 アルバムの全曲の音源は以下の通り。 “Give Life Back to Music”

私が小学校一年生の時の話です。担任の男性教諭は静かな口調で話していました。 その時彼は還暦間近でしたが、六歳児達を前に涙を流していました。 彼にはきっと年端の行かない子供たちが無垢な天使のように思えたのでしょう。実際には私たちはずるくて自分勝手な単なる大人のミニチュアにすぎませんでしたが、彼にはそんなことは関係ありませんでした。今になって思うと、彼は自分の罪を懺悔したくても神父の役割を果たしてくれる人を生涯見つけることが出来ず、私達にその役割を負わせたのでしょう。しかし私は神父たる資格のない自分を愛するばかりの小さな人間ですから、彼の罪を墓場まで持っていくことはしません。 彼は第二次大戦中の大半を大学生として過ごしました。当時の日本では情け容赦なく召集令状を送りつけられたという印象を持っている人が多いかもしれませんが、実際のところ学生に対しては甘く、学徒出陣は戦争のかなり末期の話でした。で