国防の要である「護衛艦」。護衛艦の動作にもソフトウェアは重要な役割を担っています。護衛艦を動かすシステムはどのようなものなのか、システムにどんなトレンドがあるのかについて、「護衛艦プログラマー」こと、三菱スペース・ソフトウエア株式会社の中島康貴さんにお話を聞きました。 中島康貴（なかしま・やすたか）さん 三菱スペース・ソフトウエア株式会社 鎌倉事業部第一技術部に所属。横浜国立大学工学部卒業、専門は航空宇宙工学。入社後は防衛分野の大規模組み込みリアルタイムシステムの新規開発及び保守改修のプロジェクトに携わり、現在、同社でエンジニアとして活躍中。 護衛艦のシステムは、ほぼ「組み込みリアルタイムシステム」 ――護衛艦を動かすシステムにはどのようなものがあるのでしょうか。 護衛艦の航行を導く航法統制システム、レーダーや武器の統制システム、そして艦内情報の共有システムなどがあります。これらシステムの

Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使った クイックソート アルゴリズムの実装方法をご紹介したいと思います。なお、ここで紹介するデモの完全なコードは こちら をご覧ください。 自然数 まずは準備から。ソートアルゴリズムを実装するには、ソートする対象が必要ですよね。ここでは自然数を用います。もちろん、Scalaの型システムには利用可能な自然数はありません。そんなわけで、全ての自然数の型を作る必要があります。 型を無限に作るというのは、恐らく時間の浪費になるでしょうから、ここはもう少し賢い手を考えます。そう、数学を使いましょう。 ペアノの公理 ペアノの公理とは、自然数を形式的に定義するためのシンプルな方法のことです。 0 は特別なものとする。 0 は自然数である。 全ての自然数 n には、それに続くもう1つ別の

イケてない靴を履いて仕事をすると、普段の2倍から3倍疲れることだってある。足つぼマッサージや健康サンダルなど、足のケアは社会人にとって常識だ。 だが、素人目から見たらどんな靴が良いのかまったく分からない！　そこで、日本全国に店舗を構える、靴販売チェーン『ABCマート』で、「履くと死ぬほど働いても疲れにくい靴」について聞いてみることにした。 忙しく働きつつさまざまな靴をチェックしているABCマートの社員の方だったら、きっと “疲れない靴” について知り尽くしているに違いない。そんなABCマートで聞いた、疲れない靴のランキングは以下のとおりだ！ ・第3位「ホーキンス SANTIAGO 2」 夏の定番、ホーキンスのコルクサンダルが3位にランクイン。コルクが衝撃を吸収してくれるので、足への負荷は少ない。店員さんいわく「事務所用として、サンダル代わりにお買い求めいただく方も多いですよ」とのことである

5月26日に発売になった『持たない幸福論』では精神科医の斎藤環さんに帯を書いていただいたのだけど、斎藤さんとは以前に一度トークイベントでお話しさせていただいたことがある。斎藤環さんといえばひきこもり問題についての第一人者なので、イベントではひきこもりやニート、働くことや働かないことについての話がいろいろと出た。 斎藤さんのひきこもり関係の話で一番興味深かったのは、日本ではひきこもりになるような若者は、イギリスだとヤングホームレスになっている、という話だ。日本だと成人しても子供が親と同居し続ける習慣がある（別々に住むよりもそっちのほうが親孝行だと評価されたりもする）けれどそれは儒教文化圏的な行動らしい。欧米だと成人したら親子でも別々の個人で別々に住むのが当たり前で、親が子どもの面倒を見続けるというのは起こりにくいからひきこもりよりもホームレスになりやすい、ということのようだ。 日本だと、何か

日々流れてゆく膨大な情報量の中からおいしいネタを敏感に察知し、ネット界隈を賑わせてくれるWeb業界の異端児・村上福之氏。同氏独自の経験と価値観から、「キャラ立ちエンジニア」の思考回路を紐解いていく。 株式会社クレイジーワークス 代表取締役 総裁 村上福之（@fukuyuki） ケータイを中心としたソリューションとシステム開発会社を運営。歯に衣着せぬ物言いで、インターネットというバーチャル空間で注目を集める。時々、マジなのかネタなのかが紙一重な発言でネットの住民たちを驚かせてくれるプログラマーだ 先日、ソフトウエアエンジニアの中で、この話題がバズってましたね。有名なコミッタさんを雇おうとしたら、会社の偉い人が「プログラマーに年800万円なんてのは馬鹿げてる! プログラマーに出せるのは年400万円までだろう!」と言い放ったという話です。 >> 著名なOSSコミッタを年収400万円で雇おうとした