ちょうど10年前の今日、GoogleのDart言語の開発者であるBob Nystrom氏により、ブログ "What Color is Your Function?" が投稿されました。 プログラミング言語の話題で引用されているのを2,3度見ており、個人的にも、同期/非同期という関数の形式がI/Fを通じて伝播的に与える影響を色で捉えた革新的な記事だと思っています。投稿から若干変わった話もあるかもですが、色褪せない鋭さがあり、日本語として共有してみたかったです。 このたび10周年を記念して、本人の許可を得た上で翻訳公開してみました！ 末尾の脚注は翻訳者(自分)によるものです。文化的なギャップも英語の語彙も知れると思ったので、原文重視で、細かいとこは注釈で補足しました。 以下、翻訳。 皆さんはどうか分かりませんが、私にとって昔のプログラミング言語についての長々とした批判ほど朝の活力を与えてくれる
『ぷよぷよプログラミング』という書籍を出版しました。本日 2025 年 8 月 8 日が発売日となります！ すぐわかる！ ぷよぷよプログラミング SEGA公式ガイドブック 「ぷよぷよ」ゲームをゼロから完成させるまでの道のりを、一冊の本の中で解説しております。ぜひお手にとって頂けましたら幸いです。 発売記念イベントのお知らせ 2025/08/13 追記: 下記のイベントは終了致しました。ご参加ならびに拡散頂きました皆様、ありがとうございました！ 六本木蔦屋さんにて 8 月 11 日(月・祝)に発売記念イベントを開催いたします。 第一部 10時開始（9時45分開場） 第二部 11時30分開始（11時15分開場） チケット料金は 2,420 円（書籍代）、書籍を買って頂く形となります。ぷよぷよeスポーツのぴぽにあプロのプレイの後で、私のリアルタイムコーディングを披露する予定です。一発勝負のコーデ
ここ最近は開発が佳境で、同僚とかなりの頻度でペアプロ（ペアプログラミング）（ここではペアオペも含む）している。主にTypeScriptを使ったNext.jsのコードを書いているが、もちろん設計もするし、もうちょっと大きいアーキテクチャみたいな相談もする。DBスキーマをどう割るか・・・みたいな話もしている。たいていみんな出社していないので、リモートでこれをやっている（国内だし全員日本語話者なので時差とかはない）。 いちおうどの面子もペアプロの心得はあったのだが、当初は微妙にギクシャクしたり、疲れきったりしていた。そんな中、同僚がRGST2025に行ったりする中でうまくいくようになってきたので共有する。 以前はペアプロやる？と聞かれるとウゲ〜面倒だな、とっとと終わらないかな、と思っていたのだが、今は完全にお気に入りの道具箱に入っていて、飛び出す機会を伺っている。 また、他にもオススメの知見があ
AI・機械学習チームのブログリレーも9日目になりました。同チームの横本@yokomotodです。 本日はJavaとGoを題材に並行プログラミングまわりの自由研究をしたお話をしてみたいと思います。 3部構成で、パート1では発端となった「排他制御」について、パート2では「メモリの可視化」について、それぞれJavaとGoを比べてみました。 最後にパート3では、それらの動作を規定する「メモリモデル」について、わかりやすく解説されているリソースを紹介します。 長過ぎる！ 3行で！！ パート1: synchronized = 「排他制御」？ Java synchronized vs Go sync.Mutex Goで再入可能なロック？ 仮にGoで再入可能なロックを実装するなら？ Javaが再入可能を選択した理由 パート2. sycnhronized = 「排他制御」＋「メモリ可視性の保証」 Javaの
Lazy K は S, K, I の三文字 (と括弧) だけで記述することのできる難読プログラミング言語です。 Brainfuck や Whitespace などの手続き型の難読言語と異なり、 Lazy K は関数型がベースとなっており、難読言語の中でも書くのがかなり難しい言語と思われます。 一方、 Brainfuck がチューリングマシンをベースにしているように、 Lazy K もコンビネータ計算と呼ばれる計算モデルをベースにしており、ある意味「究極の関数型言語」と呼べるような美しさもあります。 本書では Lazy K を書く上で必須となるλ計算の簡単なチュートリアルから、実際に Lazy K プログラムを書く (生成する) までを扱います。
Welcome to Dada, an experimental new programming language for building WebAssembly components!You've come at a bit of an awkward time. We're in the midst of renovating the place. More info coming soon!
Malbolge Malbolge は 1998 年 Ben Olmstead により開発された難解プログラミング言語です。オリジナルのホームページはとっくに消滅していますが、幸いにもアーカイブは残っていました。 Malbolge は難解プログラミング言語の中でも特に難解であること自体を目的に開発された、文字通り地獄みたいな言語です。 Malbolge was truly created with the idea that programming should be hard. It should be as close to the Infernal as a programming language possibly can be. It will continue to evolve over time, as newer, more twisted minds attack th
Berkeley Monoというフォントがある。 berkeleygraphics.com プログラミングなどに使える有償フォントで、個人向けライセンスを購入すると75ドルで永年アップデート特典が得られる。 Berkeley Monoっていうフォントを大枚はたいて購入したんだけどマジで最高なのでみんな買ってほしい。 pic.twitter.com/vaUsRB8PW2— Windymelt #RubyKaigi2022 (@windymelt) 2022年8月17日 このスクショ中のリガチャ機能はこのフォントのものではないので注意 以前にTwitterの広告かなにかで見て気になっていたのだけれど、直感的にかなり良さそうと感じたのと、色々なツボ(0の中心はナカグロになっているとか)を押さえてくれていたので買う決心をして今に至る。 よいところ 他の等幅フォントと比べると、やや横にしっかり太さが
第 66 回プログラミング・シンポジウム、参加募集が始まっています! 現地参加の申し込みは 2024 年 11 月 29 日 (金) が締め切りです。 「プログラミング・シンポジウム」という催しがあります。「プロシン (prosym)」が通称です。 年に一度、毎年お正月の 1 月に開催で、年明けの 2025 年には第 66 回の開催をむかえます。 えっ、年に一度なのに、第 66 回? そう、プログラミング・シンポジウムの第 1 回は、いまから 60 年以上も前の 1960 年 (昭和 35 年) だったそうです。 それ、自分が知ってる「プログラミング」ではない、なにか別のもののことなんじゃ…、と思われた方、ご心配なく。あなたが知ってる、コンピューターを使う「プログラミング」のシンポジウムです。現在では、情報処理学会の主催になっています。 プロシンは学会方面のイベントですが、学術系の研究職で
はじめに Rustの学習目的でリバーシを作ってみたいと思います。最初からすべての機能を作るのではなく、少しずつ機能を追加しながら解説していきます。また、できるだけよいコードを目指すために機能追加の度にリファクタリングをします。 最初の開発 仕様策定 まずはリバーシとして最低限遊べるうえで最も工数がかからなさそうな仕様を策定します。 cuiアプリ 矢印キーでカーソル移動 Wキーで白石を置き、Bキーで黒石を置き、Backspaseキーで石を取り除く Escキーでアプリ終了 とりあえずこれだけあればリバーシとして遊ぶことはできます。cuiアプリなので実行はWindowsTerminalを想定します。 実装 ソース とりあえずコードの良し悪しは置いといて動くものを作ります 実行結果 解説 cuiアプリとして実装するのでターミナルライブラリを導入します。今回はcrosstermを利用します。Carg
はじめに 通常のプログラムは実行時（ランタイム）に1 + 1など様々な計算を行う。一方でコンパイラーを持つ言語では、コンパイラーの型検査やジェネリクスなどの機構を利用して、コンパイル時にも計算を行うことができる。このようなプログラミングを、コンパイル時に検査・推論される“型”[1]に注目して型レベルプログラミングと呼ばれる。 ランタイムの計算の中にはたとえばwhile(1);のような簡単な計算で無限ループといった停止しない状況に陥いることがある。コンパイル時にできる計算でこのように無限ループに陥いってコンパイルが停止しなくなってしまったら、プログラムを実行することなく自明なエラー（型があってないとか、Rustであればfreeするタイミングが自明でないなど）を検出しようというモチベーションが崩壊してしまう。したがってコンパイル時にできる計算とはランタイムに比べて非常に限定された計算しか許可さ
リクルートアドベントカレンダーの20日目の記事です。 adventar.org 最初にこの疑問を思ったのは、今も忘れない R-ISUCON 2021 というリクルートの社内ISUCONの運営で炎上していた時の話です。 ちなみに R-ISUCON 2021 は劇的な結果で終わっているので、興味のある方は見てみてください。 blog.recruit.co.jp R-ISUCON 2021 では、 Node.js (TypeScript), Go, Java の3パターンの実装が出てくることが通例になっていまして、今回は Java の実装から Node.js, Go に適用していた時に一緒に実装していたメンバーからの疑問が『例外には色々な議論があるけれど、「例外を初めて実装した言語」ってどういう気持ちで実装したんだろう』という話が挙げられたので、そのネタを持ってきました。 ちなみにここで指してい
これは、全然プログラミングにハマらなかった小３息子が、小４になってめちゃくちゃハマった話です。 ３つの条件が揃うことで「強烈な作りたい」が最初に生まれ、勝手に覚えるようになりました。いい学びがあった話なので、ぜひ共有させてください。 （家庭によって、Scratchとか、プログラミングスクールとかいろいろ試していると思いますが、わが家は最終的に、toio Do（ロボット＆ビジュアルプログラミング）で完璧にハマりました） 息子がプログラミングに熱狂的にハマった３つの条件結論から言いますと、この３つの順番でやっていったことで、こどもは完全にハマりました。 ①iPad慣れ｜なんとなくわかる まず、キーボードとかiPadとかに慣れる。scratchもちょっとわかるくらいの状態になればOKです。 ②リファレンス｜「超やりたい」を生み出す 次に、ここが超重要なんですが、たくさんの楽しい事例（リファレンス
こんにちは。労働者です。とあるプログラムで学生さんの課題を添削していたら面白い話に出会いました。 僕は今、主に学部生向けのインターン研修的なプログラムでメンターなるものをやっています。メンターとしての仕事は、学生さんの課題へフィードバックを返し、Office Hourというセッションを毎週設けて質問受けやCSに関するトークを行うといった内容になっています。今回話題に取り上げるのはその中の課題の1つ、「行列積のプログラムを書いて時間を計測せよ」という何気ない話で、続く課題たちのいわば前座のようなものです。こういったところに沼は隠されているものですね。 担当している学生さんたちが細かい実験を行ってくれて以下のような疑問が提示されました。 「行列積の計算が N = 1024のときだけ N = 1023, 1025のときに比べて3倍遅いのはなぜ？」 配列のサイズが2のべき乗になるのは避けるべきとい
κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います。 年末年始休暇に書き始めたんですが体調を崩したりと色々あって執筆に時間がかかってしまいました。 時間を置いて文章を書き足していったので継ぎ接ぎ感のある文体になってるかもしれませんがご容赦下さい。 というのを踏まえて以下をお読み下さい。 いくつか議題があったのですが、ここで拾うのは一番最後の「プログラミング言語の未来はどうなるか」という話題です。 アーカイブが1月末まで残るようです。もうあと数日しかありませんが間に合うかたはご覧下さい。 そのとき各人の回答を要約すると以下でした。 五十嵐先生：DSLを簡単に作れる言語というのが重要。それとプログラム検証、プログラム
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く