はい、Cra2yPierr0tです。GPUを作る前に市販のGPUを触ってみるか、どうやらOpenCLってやつが標準化されてて良さそうだぞ。という動機でOpenCLを書き始めたら思いのほか辛かったし納得のいく入門記事が無かったので備忘録がてらOpenCL入門をここに置いときます。 目次 OpenCLとは OpenCLの思想 OpenCLの計算機システム ホストとカーネル OpenCLの次元 OpenCLホストプログラミング入門 概要 1. デバイス, コンテキスト, コマンドキューを定義する 2. カーネルをビルドする 3. デバイスメモリを確保する 4. カーネルの引数を設定する 5. キューにメモリとカーネルを転送する ベクトル加算のホストプログラム OpenCLカーネルプログラミング入門 OpenCLカーネルにおけるC言語 OpenCLカーネルのC言語における制約 OpenCLのメモリ

(You can read this article in English.) Ruby の開発版にパイプライン演算子（pipeline operator）が試験的に導入されましたが、いろいろあってプチ炎上になっています（チケット）。 せっかくの機会なので、パイプライン演算子の歴史を調べてみました。付け焼き刃の調査なので、間違ってたら教えてください。 パイプライン演算子とは こんな感じのものです。 x |> f |> g |> h # h(g(f(x))) と同じ意味 h(g(f(x))) という関数適用の式は、関数が呼ばれる順序（f→g→h）と、プログラムの字面上の順序（h→g→f）が逆でわかりにくいとされます。この問題は、特に、関数が大きくなったときに顕著になります。 wonderful_process_h( marvelous_process_g( fantastic_process

アゴラ（池田信夫氏）のキャッチーな取り上げ方に騙されてはいけない。 agora-web.jp アゴラ：COBOLが原因 事実：開発で使われている言語を扱える者が少なかったことが原因（JavaでもPythonでも使える人が少なければ起きる） アゴラ：COBOLで書かれた特殊なプログラムなので高齢者しか読めず、そのミスがチェックできない 事実：COBOLで有名といえば「株式会社COBOL」だけれど、サイト見たとおりに若い女性が多数いる。私もちょっとだけ読めるけれど、COBOLなんて制御簡単で業務を記載する言語だろうから他の言語読めればほとんど読めると思う。 そんな感じでCOBOLがTwitterでバズっているけれど、本当の原因は何なのか。厚労省の報告書からプログラムのバグに関するところを読んでみた。 変更管理がされていない 抽出替え等によりシステム改修の必要性が生じた場合には、企画担当係とシス

2018年12月31日、新卒入社して３年半勤めた会社を辞めた。東京の八重洲にある、フリーペーパーやWebサービスを作る会社で働いていた。いわゆる「文系プログラマー」というやつで、文系学部を卒業後、会社に入ってからプログラミングを覚えた。現在は退職してフリーランスになり、個人で開発しつつ、ずっと漫画を描いている。 3年半のあいだ、大きく分けて2つの失敗をした。 1. プログラミング入門の仕方に失敗した 2. プログラミングを覚えてから何をすればいいかわからなかった 前者の失敗の結果、プログラミングを投げ出して京都に逃亡した。後者の失敗では精神を病み、3ヶ月休職をすることになった。前者は笑い話だが、後者は人生に暗い影しか落とさない。これからプログラミングを始めようと考えている人には同じような失敗を避けてほしい。そういう願いも込めてこの文章を書いている。 ※「文系プログラマー」という表現は適切で

おつかれさまでしたー！めちゃくちゃ楽しかったですね！ #技術書典 撤収完了しました😆一般参加、サークル参加のみなさまご来場ありがとうごさいました🎉🎉🎉また来年、春の技術書典6でお会いしましょう🙏 pic.twitter.com/CPXL5UuY06— mhidakaあ11@技術書典5 (@mhidaka) October 8, 2018 次回に向けてのメモと感想を書いていきます。ブログを書くまでが技術書典。 まとめたスライド うれしかったこと 「何事も早めに」 締切駆動開発 Re:VIEW+CSS組版 ワンオペ 印刷部数 被チェック数の意味とは 当日までの準備や運用 初参加80部完売現象 みなさんとお会いできる まだまだ続く技術書典 まとめたスライド 技術書典５のあとに行われた「非公式アフター」でLTしました。そこでの資料になります。 techbook-and-ethanol.c

先日、コミックマーケット94で「Dockerではじめるゲームボーイアドバンス開発本」という技術書を頒布しました。 booth.pm BOOTHでモノクロ紙書籍+カラーPDFが購入できます。在庫余ってるのでみんな買ってください() 初めて技術書を書いたので、それまでに色々やったこととか困ったことについての話。 技術書を書いた経緯 技術書執筆の大まかな流れ LaTeX周りで使ったものとか 新しいパッケージのインストール 使ったパッケージ プリアンブルの細かい話 LaTeXの執筆環境 latexmk + Skim Gitとの連携 技術書を書いてみて良かったこと悪かったこと メリット デメリット 書いてから分かったこと 印刷について 売り上げについて 最後に 技術書を書いた経緯 僕が所属しているサークルで去年の冬コミ(C93)でHoloLens本を出していて、僕もそういうやつやりたいなぁって思って

konn-san.com 建設予定地 数学関係をまとめておくばしょ F4, F5 アルゴリズムに関するサーベイ（A survey on F_4 and F_5 algorithms） Plan Because the original paper includes many errors and lacks strictness, read Steger’s thesis instead first. Then read F5C paper to improve it. Read the paper on termination and apply its argument to F5C. Current progress Reading Steger’s thesis. (2014/04/29) Implementing F_5, but is not yet working corre

TypeScriptには期待してたんだけど、ガッカリだよ。 それでもまー、割と好きだけど。 *1 [追記]各所でご指摘いただきました（ありがとうございます）ように、コンパイル・オプション付きなら、シングルトン型のセマンティクスになります。この記事はほぼ言いがかりでした。事実誤認した経緯と、内容的修正を「TypeScript、僕が悪かった、ゴメン： nullやundefinedの扱いはマトモだった」に書きました。 この記事の本文自体はそのままにします。事実誤認も含めて記録が残ってもいいかな、と思うので。ただし、この記事だけを読む人が同じ誤認をしないように、何箇所かに修正記事へのリンクは入れます。[/追記] 内容： 特殊な型や値の扱い方はイイカゲンになりがち 特殊な型とは TypeScriptの基本型にnullは入らないと信じていた どんな伝統なんだよ TypeScriptにシングルトン型はな

この記事は以下のページに移転しました． blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です． @ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください． herp.cloud さて，12月といえば，万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節ですが，今年もそういう方針で，TypeScript での型レベル計算について書きます．型レベルでの自然数などが定義できると，リストに型レベルで長さを付けることができて，空リストの先頭の要素を取ろうとしてランタイムで落ちる，という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しいですね． なお，使用している TypeScript のバ

この記事は 数学とコンピュータⅡ Advent Calendar 18日目の記事です。 こんにちは、佐野です。前回の記事をたくさんの方に読んで頂けたようで嬉しいです。元々は 3 回で書き切るつもりでいたのですが、詰め込み過ぎてもよくないしちゃんと書きたい話はもっとあるので Advent Calendar 期間が過ぎてもシリーズを続けることにしました👍 座標も補助線も使わない「やわらかい幾何学」 切り貼りで作る色々な曲面 ← ... 前回の復習 トポロジーは同相写像で移り合う図形を「同じ」と見なし、その同一視の下で変わらない図形の性質（位相不変量）を調べる分野でした。位相不変量の例として、多面体の頂点・辺・面の個数から決まるオイラー数を紹介しました。 今回は球面やトーラスなどの身近な曲面から、日常では決して見ることのない不思議な曲面まで色々と観察し、それらを区別するにはどうすればいいか考え

言語実装 Advent Calendar 2017 の16日目の記事です． GoCaml という OCaml のサブセットな言語を実装していて，多相型の型推論を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので，その知識を整理する意味でこのエントリを書いています． この記事では OCaml の型推論器のベースになっている「レベルベースの多相型型推論アルゴリズム」について概略を直感的に説明しようと思います． 理論的になぜこのアルゴリズムで正しく動作するのかについてはこの記事で概要を把握した上で論文 のほうを読んでいただければ理解が速いと思います． また，この記事では最もシンプルな単相型のHM型推論については知っている前提で書きます． ご存知でない場合は， 住井先生の MinCaml の型推論実装の解説 五十嵐先生の型推論の解説 20日目の@uint256_t さん