Microsoftが「Rust」言語を導入、安全性以外の理由あり（続報）：性能や安全性以外にも評価あり Microsoft Security Response Center（MSRC）は、C／C++に代わるシステムプログラミング言語の最有力の選択肢として「Rust」を挙げ、その理由を解説した。合わせてMicrosoftのような大規模なコードベースを持つ企業にとっての課題も示した。 なぜメモリ安全性と性能の両方が必要なのか MSRCによると、メモリ安全性を備え、Microsoft社内外で広く使われている言語は数多い。「C#」や「F#」のような.NETに対応した言語の他、「Swift」「Go」「Python」、Rustなどがある。 だが、システムプログラミング言語はOSカーネルなど、他のソフトウェアの動作基盤となるシステムの作成に使うものだ。CやC++が提供するような速度と予測可能なパフォーマ

本日（というかついさっき）刊行された雑誌『n月刊ラムダノート vol.1, No.2』に記事を寄稿しました。ということで宣伝エントリーです。 www.lambdanote.com この中で、『計算機科学から見たディープラーニング』という記事を書かせていただきました。 この記事を書くことになったきっかけは2つありました。 まず、ラムダノート社長の@golden_luckyさんと雑談している間にこういう話題で盛り上がり、勢いで執筆を依頼された、というのが1つ。 そしてそれと同時期に、ちょうどMLSE夏合宿2019での企画を考えなきゃいけなくて、そのネタ帳代わりに書いたという側面もあります。東大の萩谷昌己先生をお招きすることは先に決まっていて、先生のご専門である理論計算機科学の観点でディープラーニングを捉え直すとどうなるか、みたいなのを、私なりに考えて記事の形式にまとめました。 で、初稿ができた

画像: N高等学校課外授業(N予備校)での生放送授業のブラウザ上での見た目、コメントが書ける 目次 はじめに 教えることになったきっかけ Web企業にエンジニアとして就職できるようになる、というミッション 既存のWeb教材に感じた問題意識 「各自進められるゲームブック形式の教材」と「徹底的にフォローする生放送授業」 コンセプトをもとに構成されたコースと内容 ゼロからプログラミングができるようになった人が生まれた日 永劫、プログラミングは一部の天才たちのためのものか？ プログラミング学習のモチベーションの課題と対応 まじめなオタクたちが社会をよくしようと頑張ること さいごに はじめに 自分はこの8ヶ月間、Web上で非対面のプログラミング教育、具体的にはHTML教材と生放送授業を中心としたプログラミング教育をN高等学校の生徒に行ってきました。 ここに書かれている内容は、これからプログラミング教

https://connpass.com/event/64632/ すごく面白かった。最近こういう会に行って感心することは多いのだけど、しかしなんか書きたいと思うレベルになかなか来ない、まあそれなりに年喰ったしな、とか思ってたんですが。低レイヤとか、自分がある程度既に知ってるところの話を聞くのも楽しいけど、自分が最近勉強してて理解しはじめたことの話を見聞きする方が楽しいよねえということかと思いました。まさににわかほど語りたがる現象で、実際懇親会とかで間違ってること結構言ってそうな気がする。 ジャンルとして、他のCSのジャンルとかと違って、深層学習はとにかく論理的に確定できない話が多くて、あの論文はあやしいなあ、あれは説得力あるなあ、というような、口コミベースの情報が回してる面が、良くも悪くもあるのかなあ、という印象を持っています。 つーわけで口コミレベルの適当なことを、以下、書きます。(定

8/31、patch 8.0.1026 で Linux 版 Vim のとある挙動が修正されました。 patch 8.0.1026: GTK on-the-spot input has problems - vim/vim@5c6dbcb - GitHub https://github.com/vim/vim/commit/5c6dbcb03fa552d7b0e61c8fcf425147eb6bf7d5 この修正は、Linux 版 Vim の IME (Input Method Editor) の挙動を修正する物ですが、この1つのパッチの為に多くの開発者が動いたという話です。 Vim と IME と僕 このパッチ、多い時で月に100個以上もリリースされる大量のパッチの1つに過ぎないのですが、実はこのパッチには思い入れがあり記事にせずにいられませんでした。この問題が修正されるまでに至った経緯を

関東大震災後の虐殺事件で亡くなられた、全ての犠牲者の方々に、ご冥福をお祈り致します。 2017年を以て、関東大震災が起きて、94年目になります。あの時の悲劇は時が経ち、記憶から記録になり、現在では歴史教科書に明記されるまでになりました。 この私もまた、かつて、日本学校で、関東大震災後の虐殺事件を学んだ1人です。この出来事を授業で学んだことは、はっきりと憶えています。日本籍の在日コリアンとして、日本学校に通っていた私にとって、とても衝撃的な内容でした。 私が生徒だった頃、日本社会の中で、在日コリアンへの圧力は、少しずつ和らいでいた頃で、授業の内容は衝撃的ではありましたが、「もうこんなことはないだろう」と、どこか他人事のように考えていました。 ですが、あれから94年経った今、関東大震災後の恐怖が少しずつ現実味を帯びてきています。路上では「韓国人や朝鮮人を追い出せ！」というシュプレヒコールが叫ば

ビジネスSNS、Wantedlyを運営するウォンテッドリー社のDMCA悪用が話題になっています。 同社のIPOに向けた資料を解説したブログ記事「Wantedly（ウォンテッドリー）のIPOがいろいろ凄いので考察」に対して、ウォンテッドリー社によってDMCAに基づく削除申請が行われました。 その結果、記事はGoogleの検索結果から消され、その記事を言及したツイートは非表示にされています。 DMCA申請は画像の著作権違反を問題視してとのことですが、インターネット上で多く流布されているような画像へのDMCA申請であって、実際は悪評隠蔽の意図であることは明白です。 このことが大きな話題になった今もメディアの取材に対して、悪評封じの意図は無く「弊社が著作権を有する画像の無断使用はやめていただきたいとの判断」と、あくまでも画像の無断利用を問題視しただけ、と主張しています。 私はこれが許されるべきこと

ＤＯＬ特別レポート 内外の政治や経済、産業、社会問題に及ぶ幅広いテーマを斬新な視点で分析する、取材レポートおよび識者・専門家による特別寄稿。 バックナンバー一覧 日本の学歴ヒエラルキーの頂点に立つ東京大学。官僚などが大学で教鞭をとる形などでの天下りは有名だが、実は東大教授が他大学へ再就職するケースも頻繁にあり、問題も多いのだという。それが私大をどれだけ破壊するのか。官僚の天下り問題や、旧帝大から私大への天下り的な再就職に批判を続けている元大学教授に話を聞いた。（フリーライター　光浦晋三） 肩書きにこだわるが何もしない 元東大教授が私大に与える弊害 東大教授の定年は65歳。定年前になると、多くの私大がモーションをかけて来るという。私大にとって、「元東大教授」という肩書きはかなり魅力的なもの。ある私大准教授は「東大教授として素晴らしい研究実績を残した教授が定年を迎えた後に、私大が招くことはあり

数学の動画のまとめTOPへ 慶応大の「数値計算法」の講義動画。 MATLABを使った数値計算による微積分など。 数値計算の入門 1. 慶應大学 理工学部 講義 数値計算法 第一回 数値計算法の基礎 2. 慶應大学 理工学部 講義 数値計算法 第二回 行列演算の基本 MATLAB文法 3. 慶應大学 理工学部 講義 数値計算法 第三回 連立一次方程式 4. 慶應大学 理工学部 講義 数値計算法 第四回 固有値問題 数値計算による統計的な処理 5. 慶應大学 理工学部 講義 数値計算法 第五回 実験データの多変量解析 6. 慶應大学 理工学部 講義 数値計算法 第六回 離散データ点の補間 7. 慶應大学 理工学部 講義 数値計算法 第七回 時系列データの周波数解析 解析学の数値的な処理 8. 慶應大学 理工学部 講義 数値計算法 第八回 常微分方程式 9. 慶應大学 理工学部 講義 数値計算法

中国ではキャッシュレス社会になってニセ札をつかまずに済むようになったが、代わりにQRコードの偽物が登場してきた。ちなみに上記の紙幣コピーの上には「ニセ札は通報」と書かれている（筆者撮影） 近年、中国ではスマホの普及に伴って、その機能を活用した社会のスマート化の試みが急速に進んでいる。QRコードの読み込み機能を使ったスマホの電子決済は、都市部ではあらゆる決済の5割を占めるほどまで普及し、北京・上海・深センなどの大都市圏ではほぼキャッシュレスで生活することすら可能となった。 また、関連サービスの発達も著しい。スマホで借りられるシェア自転車の利用者数は今年末までに約5000万人に達し、最大手「モバイク（Mobike）」は今年6月に日本市場への参入まで決定。また、個人の車両の相乗りを紹介する「滴滴出行」（中国版Uber）や、シェア傘・シェア充電バッテリーの利用が拡大するなど、アプリを用いた革新的な

7月20日、Intel (Movidius) がUSB接続タイプのスティック型ディープニューラルネットワーク処理用アクセラレータ「Movidius Neural Compute Stick」を発表しました。 Intelが激安1万円以下のUSB型Deep Learning用端末「Movidius Neural Compute Stick」を発売 : Gigazine Intel Democratizes Deep Learning Application Development with Launch of Movidius Neural Compute Stick | Intel Newsroom プロダクトページ NCSは、Deep Learningに特化した専用チップ「Myriad 2」が搭載された、外付けの演算装置です。USBポートに挿すだけでDeep Learningの推論処理を実

課題 add.dllは重大なバグを持っています．本当なら２つの整数値の和を返す関数が、実は引き算を計算しています.これを使うmymain．exeは間違った計算結果を延々と表示し続けるプログラムです．私はこのバグを修正したいのですが，mymain.exeはミッションクリティカルなプロセスであるために，安易に再起動できません．果たしてmymain.exeの動作を停止させないで，こっそりとDLLのバグを修正することはできるのでしょうか？ このように，プログラムの動作を停止させることなくメモリの内容を直接書き換えてバグを修正することをオンラインパッチと呼びます．パソコン環境では見たことはありませんが，通信系ソフトウェアのようなミッションクリティカルな現場では，このような修正をこっそり行うことはよくありました．全く実用性はありませんが，DLLインジェクションの技術習得のために，オンラインパッチをWi

この連載も最終回だ。第1回で、私の母が若い時に丸の内の財閥系企業で働いていたという話を書いたら、「もっと書いて下さい」というご要望をけっこういただいた。担当の編集Yさんも「やりましょう」という。 というわけで、以下は本当のおまけ。10年以上以前、母がまだまだ元気な頃に聞き出した、昭和30年代前半の、丸の内企業勤務の女子社員がみた、日本のサラリーマンの実態である。 実は母は三菱電機に務めていたのでした 母は、昭和32年(1957年)春に大学の英文科を卒業し、丸の内の財閥系企業に入社した……ええい、60年以上も経っているのだから、もう実名を書いてもいいだろう。卒業したのは日本女子大学、就職したのは三菱電機である。 まったくもって申し訳ありません。以下、けっこう三菱電機の悪口が続きますが、これを読んでいる三菱電機の関係者の方は、60年以上昔のハタチちょいの小娘が言った愚痴と思って見逃して下さい。

LaTeXを使った数式の入力がWordやPowerPointで可能に。マイクロソフトが明らかに（追記あり） 来月のOffice 365のアップデートによって、WordやPowerPointでLaTeXを用いた数式の入力が可能になることが、Microsoft Officeの開発エンジニアのブログに投稿された記事「LaTeX Math in Office」で明らかになりました。 ブログには「Next month you’ll be able to use LaTeX math in Office 365 math zones.」（来月には、Office 365の数式枠でLaTeXの数式が使えるようになる）と書かれています。 Wordで数式を入力するモードにしたときのリボンメニューには、下記のように「LaTeX」の項目が追加されることが示されました。 日本語版のOffice 365やWordの対

「機械学習に興味あるけど、なかなか自分でアプリを作るところまでできない…･･･」 本連載では、そんな方を対象に、気軽に機械学習を使ったアプリを作れるようなサンプルを紹介していきます。 興味があるけどなかなか着手できていなかった方、一度チャレンジしてみたけれど難しくて挫折してしまった方、またはすでに取り組んでいて、もっといろんなアプリを作ってみたい方は、ぜひ本連載で紹介するアプリを一緒に作ってみてください。 本連載では、前半ではAPIサービスを、後半ではライブラリを使って、機械学習を使ったアプリのサンプルを紹介していきます。APIサービスとしてはGoogleのGoogle Cloud Platformで提供されているAPIサービスを使い、ライブラリとしては、オープンソースとして提供されているTensorFlowを使います。 阿佐志保 TIS株式会社 戦略技術センター所属。金融系シンクタンクで

ブログを数年ぶりに書くことにした。 前回書いたのが2年前の9月。今日までの間、何度か書こうとも思ったけど精神的に無理だった。 悪いことが現在進行形で起こっている最中にそれを文章にして再確認をするなんて、正直とても耐えられるものじゃない。 それでも今になって文章にしようと思ったのは、やはりここ数年で起こったことを自分なりに整理をつけたいと思った、というのが理由としてひとつある。理由はもうひとつあるが、それは後で書く。 なにも嵐が過ぎ去ったから、というわけではなくて、むしろまだど真ん中なわけだが、ひとまず現状を記録しておきたい、という欲求に駆られて久しぶりに自分の言葉をキーに打ち込んでいるというわけだ。 その前に前提条件。 知っている人は知っているが自分はあるベンチャー企業でエンジニアとして働いていて、入社して今年で4年目になる。 まあ、ぶっちゃけて言うと散々な4年間だった。 まず自分が入社し

ここ2～3年でにわかに話題になっている人工知能（AI）。最近では、NHKスペシャルの「AIに聞いてみた どうすんのよ!?ニッポン」（2017年7月22日放送）にて、NHKが開発したAIの分析結果から「健康になりたければ病院を減らせ」「少子化を食い止めるためには結婚よりもクルマを買え」などの斬新な提言がなされ、議論を呼んでいる。 確かに、意外性があるため、おもしろいと感じた人もいるかもしれない。しかし、番組中でAIが提言した内容は、残念ながら間違っていると言わざるをえない。 なぜなら、AIは物事を予測したり、将棋や囲碁のように決められたルールのなかのゲームをすることは得意であるものの、2つの事柄のあいだに「因果関係」があるかどうかを明らかにすることは苦手だからだ（因果関係にあるかどうか統計学を用いて検証する方法を「因果推論」を呼ぶ）。将棋や囲碁の名人を打ち負かしたことが話題になっているため、