はじめに（8/3追記） この記事を一旦書いたあと、重要な追加証言が得られたため、追記修正しています。結論もやや変わっていますが、現時点のほうがより正確です。 本編：ここから ディープラーニングが現在これだけ流行っている1つの要因は、TensorFlowやPyTorchなどのフレームワークが非常に便利だからです。ニューラルネットワークの設計、訓練、そして分類などの推論がフレームワークを使えばとても簡単に行なえます。 普通に使っている人達は、これらのフレームワークを『ツール』あるいは『ライブラリ』だとみなしていると思います。でも実際のところ、これらはプログラミング言語です。より正確に言えば、すべてのディープラーニングフレームワークはディープラーニング計算用DSL（Domain-Specific Language、ドメイン特化言語）と見なせます。このDSLは大抵、Pythonなど他の汎用言語への
題名で完結してるけど、まあ頑張って書いとく。 この記事の短いまとめ：「技術的なこと教えるときに数学の部分から教えるのしんどいから自主的にある程度勉強してくれると助かる」 数学、わりと出てくる「数学って何の役に立つんですかァ〜〜〜？」は中学生の心強い武器であり、私もブンブン振り回してた。高校で現社が嫌で理系に逃げたから結局のところ付き合う羽目になったが。 まあ中学生・高校生ぐらいなら仕方ない。数学なんて何の役に立つのかさっぱり見えないし、先生はろくに教えてくれないし、そんなことより「冷蔵庫の中身は何をどれぐらい入ってる状態で保つべきなのか」とか教えてくれた方が絶対に人生が豊かになるよな。 さて話は変わってプログラマについて。プログラマとかいうのは意外なことにわりと専門性のある職業で、普通の人生では1ミリも役に立たないような知識を求められたりする。Linuxの意味不明なコマンドの数々の使い方と
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
MS-DOS 2.0のソースコードが公開された 9月末にMS-DOS 2.0のソースコード（https://github.com/Microsoft/MS-DOS/tree/master/v2.0）が公開された。ここでは、ソースコードを見ながら、Windowsのパス区切り文字が、なぜ「\」（英語表示では逆スラッシュ）になったのかを考えてみる。 ただ、MS-DOSは8086のアセンブラで記述されているため、コードを説明するのではなく、必要な定義部分などを使って解説することにする。 まずは簡単にMS-DOSという名称について説明しておく。IBMがIBM PC用のOSとしてマイクロソフトに開発を依頼したため、IBM PC用のものはPC-DOSという名称であり、MS-DOSはIBM以外のメーカー用に使われた。この時点では、PC-DOSとMS-DOSはほぼ同一のものとしてよい。ここでは、すべてMS-
私には高校生の息子がいる。ある日、数学の模擬試験でかなり低い点数を取ってきた。聞いてみると、数学という教科に対してあまり興味が持てないのだという。彼が希望している進路や職業には数学が必要なので、困った問題だ。 振り返ってみれば、私はこれまで息子の勉強をほとんど見てこなかった。「私にも責任の一端はあるな」と反省した。 試しに一緒に数学の問題を少し解いてみたところ、息子は因数分解など中学レベルの数学の計算は難なくこなせる。挽回は十分に可能なようだった。そこで、高校の数学は自分が直接教えようと腹をくくった。 まず、何らかの形で数学に興味を持ってもらう必要がある。そこで、都内の大型書店の理工系書籍のフロアに連れて行った。数学の面白さを取り上げた書籍としては結城浩氏の「数学ガール」シリーズが有名だ。ただ、数学を正面から取り上げたそうした書籍はあまりピンと来ないようだった。 代わりに興味を持ったのが、
当社の規定により満60歳で定年退職をした。長いようで短かった会社員生活も一区切りだ。自分のプログラマとしての会社員生活を振り返ってみる。無駄に長いし結論はないのでお忙しい人は飛ばして欲しい。 9月末なのでブログ界隈では退職エントリーがそこかしこに書かれると思うが、その中で自分の退職エントリーを連ねることにどれほどの意味があろうか。もちろんないのだが、それでも多くの書き手の年齢を考えると満60歳定年退職というところに若干の希少価値を見出せなくもない。 1984年に大学院修了して以来、プログラマとしてのキャリアを重ねてきた。大学時代の同期でプログラマとして就職したものは皆無だ。当時、工学部の同期はメーカーに就職するのがほとんどで、大手家電メーカー、自動車メーカー、電力会社などなど、当時の誰でも名前を知っている人気企業に就職するものが大半だった。 その中で、日本ディジタルイクイップメント（DEC
情報系の大学の学部を出た人々が増えたせいか、HaskellやScalaなどの関数型プログラミング言語が流行ってきて、最近はクライスリ圏、モナド、モナドと呟く人々をネット上でよく見かけるようになった。圏論プログラミングなるモノが流行っていると勘違いしだす人もいるようだ。しかし、これらの言語に触れた人は少なくないと思うが、圏論について学んだ職業プログラマーは少ないと思う。これから学ぶべきなのか気になっている人もいると思うが、実際問題使い道が無いので、スルーした方が無難だ。 圏論は数学の中でも広く教えているとは言えない部類のもので、20世紀も中盤以降に研究が進んできたものだ。圏論の土台部分はシンプルなもので、目的に応じて概念を追加して応用されており、例えばHaskellのモナドはクライスリ圏の中の概念であるクライスリトリプルに対応している。だからクライスリ圏に習熟していれば、数学的にモナドによる
Pythonのバグトラッカーに、「Avoid master/slave terminology」という要望が寄せられている。これは「多様性のため」に奴隷制度を連想させる「master」「slave」という単語を削除するほうが好ましいという提案だ（Slashdot、Motherboard、Register）。 そもそも「master」という単語は非常に多くの場所で使われており、たとえばバージョン管理システムGitでは「masterブランチ」という概念がある。そのため、これを変更するのは容易なことではない。また、master/slaveという単語は電子回路やソフトウェアアーキテクチャにおいて奴隷制とはまったく関係ない文脈で使われている。そして、「slave」を置き換えられる単語で適切かつ広く普及している単語はいまのところ存在しない。こういった理由から反対の声も出ていたが、最終的には「salve
『週刊ダイヤモンド』特別レポート ダイヤモンド編集部による取材レポートと編集部厳選の特別寄稿を掲載。『週刊ダイヤモンド』と連動した様々なテーマで、経済・世相の「いま」を掘り下げていきます。 バックナンバー一覧 未来を先取りしたい企業たちが今、数学の世界にどっと押し寄せている。ポケットマネーで数学のイベントを開き、社内で数学の勉強会を開催。さらに家庭教師を雇って学ぶほど数学にのめり込んでいるカドカワの川上量生社長に『週刊ダイヤモンド』6月30日号の第1特集「必修 使える！数学」に合わせて、なぜ数学を学ぶのか、直撃して聞いた。（『週刊ダイヤモンド』編集部 大矢博之、ライター・奥田由意） ──数学の勉強を今も続けている理由は何でしょうか。 単純に面白いから、というとそれまでですが、「この世とは何か」という、世界の秘密を知りたいという欲求からです。 例えば、「時間・空間とは何か」という問いに、僕は
以前の職場では、完全なウォータフォールをやっていたとは言い切れないのですが、基本的に設計→製造→テスト→リリースという1回の流れでやっていたため、どちらかと言うとウォータフォールだったと思っています。その職場では、コーディングを「製造」と読んでいました。当然、設計というのは「設計書を作る」ことによって行われることであり、その設計書に基づいてコードというアウトプットを行うわけですので、コーディングは「製造」と考えるのは当然だと思います。 アジャイル開発を始めて感じた違いは多くありましたが、その一つはコーディングの考え方の違いです。以下はXPのプラクティスです（Wikipediaより）。 テスト駆動開発 ペアプログラミング リファクタリング ソースコードの共同所有 継続的インテグレーション YAGNI これらの共通的な基本的な考え方は、「変えることを前提としている」という点です。私は製造業で働
こんにちは、本業の稼働が 100% フロントエンドになっちゃっていてそろそろデータをいじりたいヌノカワです。 先日、qiita で日本一マクドナルドから遠い場所という記事を見つけて読んでみたんですが、探索する過程が意外とアナログなところも含めて面白かったです。 ただ、800 を超えるいいねをもらってるのを見て、謎のジェラシーと対抗心が生まれ、地理空間演算で「本当に」日本一マクドナルドから遠い場所を突き止めてみようというのが主旨です。 qiita の当記事では、マクドナルドの地点からバッファー (地点を中心とした円) を生成して徐々に半径を広げ、かすかに残っている陸地を (目視で！) 絞って行くというハートウォーミングな内容です。そこをもう少し論理的に探索してみましょう。 私が考えたアプローチはこんな感じでございます。 1. マクドナルドの地点を母点としたボロノイ図を生成する 2. ボロノイ
きっかけ 日本マクドナルド様のサイトの店舗検索の地図をみてたら、やたらたくさんの店舗が一度に表示できる。 これって全店舗一度に読み込んでるのかな、とChromeのデベロッパーツールで覗いてみると、全店舗分のJSONが見えた。 全店舗2887件。 ちょっと拝借して長年の疑問を晴らしてみようと思った。『はたして、日本で一番マクドナルドから遠い場所はどこなのか？』 注) 離島は除きます。離島を含めると南鳥島がぶっちぎりです。 Fusion Tablesでプロットしてみる Fusion Tablesに緯度経度をインポートすることでマップに位置をプロットできるのでやってみた。 Fusion Tablesの導入その他に関しては他に説明を譲ります。 とりあえずデベロッパーツールからJSONを丸ごとコピペして編集の末にCSVファイルをでっちあげた。 Fusion Tablesで扱えるように、先頭行にはカラ
「東ロボ」を主導した数学者が「読解力がない子どもにプログラミングを教えても、意味がない」と主張する理由：特集：小学生の「プログラミング教育」その前に（8） 2020年度から小学生のプログラミング教育が始まる。官庁や教育機関、企業を巻き込んだ教材開発やデモ授業などが進む中、国立情報学研究所の新井紀子教授は、AIや全国の子どもを対象にした研究活動の成果から「プログラミング教育以前に、学校は子どもの『読解力』を伸ばすべき」と主張する。その理由とは。 こんな状況を想像してほしい。あなたは小学生の子どもを持つ親で、AIの導入やモノのデジタル化が進む将来を見据えている。そのため、自分の子どもには、 最新の環境で、優秀な講師によるプログラミングの授業を受けさせるつもりだ。20年後、あなたの子どもは、プログラミングを深く使いこなし、自分のアイデアをコンピュータで形にできる大人に育つだろうか？ 2000年代
「異能」ともいえる際立った能力や実績を持ち、まわりから一目置かれるエンジニアを1カ月に一人ずつ取り上げ、インタビューを掲載する。今月取り上げるのは「Yugui」というハンドルネームで知られる園田裕貴（そのだゆうき）氏。書籍「初めてのRuby」の執筆者であり、過去にはRuby 1.9系のリリースマネジャーを務めた。スケールアウト（現Supership）の初期中心メンバーの一人でもある。今回は、プログラミングとの出会いからWeb業界で働くようになったきっかけを聞いた。 プログラミングを始めたきっかけは、小学校低学年のころ、自宅にPC-8800シリーズ（PC-88）というパソコンがあったことです。父親はIT関係の仕事ではありませんでしたが、趣味で多少プログラミングをしていました。デスクトップミュージック（DTM）のようなことをしたり、自作のプログラムで事務処理をしたりしていたようです。 私も家で
高校生になれば自分のPCを持っている人も少なくありませんが、校則によっては学校まで持っていくことができないこともあります。そんな校則に悩んだ高校生が、「電子辞書なら高校に持ち込みOK」という点に目を付け、Windows10搭載の電子辞書を自作したとして話題になっています。 Windows10搭載電子辞書の製作者である0530HLLさんは、ニコニコ動画に電子辞書を作ってみたまとめムービーを投稿しています。 Windows10搭載電子辞書つくってみたPart1 オープニングムービーからすでにハイクオリティ。 まるで製品のプロモーションムービーのようです。 ムービーの冒頭で「つたない編集」と述べていますが、全くそんなことはありません。 0530HLLさんが製作したのは、「Windows10が動く電子辞書」です。 「高校の校則を守りながらにしてPCを持ち込むため」という理由で電子辞書を自作するとい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
