これから流行る言語 | 雑記帳
新言語にできることはまだあるかい なんとかWIMPS 最近（1ヶ月くらい前）、こんな記事が出ました： 新しいプログラミング言語が出てこない(新しく出てた言語を追記) – きしだのHatena Kotlin, TypeScript, Rust, Swift以降にみんなが話題にするような新しい言語が出てこない、それはなぜか、みたいな趣旨です。客観的に見れば「新しい言語は常に出続けている」わけですが、「みんなが話題にするような」というのが多分曲者なんでしょうね。 例え話をすると、新しい若木は常に生えてきているんだけど、大木に成長するには時間がかかるので、大木にしか興味のない人には「この8年間で新しい大木は登場していない」と判断してしまうのかもしれません。 まあ私としても、Web (HTTP) APIを書く言語とか、JSON色付け係が使う言語はもう出揃ってしまったのかもしれないという気はしなくもな
GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel
Yatima is a Lean 4 compiler backend targeting the the Lurk language for recursive zkSNARKs, enabling zero-knowledge proofs of Lean 4 execution. Additionally, Yatima has its own Lean 4 implementation of a kernel for the Lean 4 core language, which can be compiled to Lurk to allow zero-knowledge proofs of Lean 4 typechecking. By verifying a zero knowledge proof that a Lean 4 declaration has passed t
0.5.0 Release Notes · The Zig Programming Language
Tier System § Tier 1 Support § Not only can Zig generate machine code for these targets, but the standard library cross-platform abstractions have implementations for these targets. Thus it is practical to write a pure Zig application with no dependency on libc. The CI server automatically tests these targets on every commit to master branch, and updates the download page with links to pre-built b
さあ、Yコンビネータ(不動点演算子)を使おう！ - よくわかりません
前回、おとうさんにもわかるYコンビネータ！(絵解き解説編) - よくわかりませんというエントリで、Yコンビネータ(不動点演算子)と再帰の絵解き解説をしました。 Yコンビネータ自身は、結局のところ再帰を産み出してくれるだけです。関数(正確にはλという単純な文字列変換ルール)だけで出来て、プログラミングに関するいろんな原理の研究を可能にするのが凄い訳です。その辺のさわりを、きしださんが解説されています。しかし、単なる再帰なら、実際のプログラミングではYコンビネータなんて使わなくても出来ます。 じゃあ、Yコンビネータとか不動点とかは、偉い学者さんとかが研究に使えばいいもので、普通のプログラマには何の意味もないモノなのでしょうか？ というわけで、今回はポジティブに、Yコンビネータや不動点で出てくる考え方を、理論だけじゃなく、実際のプログラミングに応用する例を見てみましょう。 今回、プログラムの例を
Programming Fonts - Test Drive
Size / ↑ ↓ Theme Language // Type some code -> console.log "oO08 iIlL1 g9qCGQ ~-+=>"; function updateGutters(cm) { var gutters = cm.display.gutters, __specs = cm.options.gutters; removeChildren(gutters); for (var i = 0; i < specs.length; ++i) { var gutterClass = __specs[i]; var gElt = gutters.appendChild( elt( "div", null, "CodeMirror-gutter " + gutterClass ) ); if (gutterClass == "CodeMirror-line
最小カットを使って「燃やす埋める問題」を解く
最小カットを使って「燃やす埋める問題」を解く方法について、問題とソースコードつきで、まとめました。ニコニコ生放送「TopCoderでプログラムしてみた」2000回記念放送の資料です。
Scala2.10.0のDependent method typesと型クラスを組み合わせた『The Magnet Pattern』がヤバい件 - ( ꒪⌓꒪) ゆるよろ日記
これが……型の力かッ……!! spray | Blog » The Magnet Patternという記事で、「The Magnet Pattern」というデザインパターンが紹介されている。 これは、メソッドオーバーロードで解決していた問題を、型クラスとDependent method typesを組み合わせて置き換えることで、オーバーロードの際の様々な制約(Type Erasureなど)を突破し、より柔軟な拡張性を得ることができるというもの。このパターンでは、引数の型に応じて異なる結果型を返すようにできる。 この記事で、今まで何のために使われるのかわからんかったDependent method typesの有効性が理解でき、あらためて型の力を思い知った。 以前に"Generalized type constraints"(Scalaで<:<とか=:=を使ったgeneraliz
プログラムが書けないあなたへ、プログラムが書けない僕からのヒント
僕がプログラミングできない理由 — 「まずは、言葉にしてみましょう」の意味を書いたのは、2014年の3月のことだった。ということは、今が2015年の12月なので、その間に流れた時間は1年と9ヶ月ほどだということになる。これは、少し驚きだ。あれから、もっともっと時間が経った気でいたので、少しどころか、正直に言うと、僕はかなり驚いている。 あれから僕はとっくに3年か5年以上の時間が経過したような気でいたのだ。だから、まだ2年すら経ってない事実に呆然と立ちすくむような感じだ。 しかし、これまでに流れた時間を、僕が短いと感じようが、長いと感じようが、まぎれもないもう一つの事実がある。 相変わらず、僕は、プログラミングができない ということだ。勿論、そんなことを自慢したいわけではないけれど、事実なのだから、仕方ない。 ひとつ、恥ずかしながら、書いておきたいことがある。この言い訳がどういう意味をもつの
設計（≒デザイン）の話をしよう #nds35 by @masaru_b_cl
はじめに 本エントリは第35回勉強会(2013/01/18) & 新潟開発者新年会(NDS) – 長岡 IT開発者 勉強会(NDS)にて発表したセッションを再構成したものです。セッションの中や後で考えた内容も反映してあります。 ライセンス この 作品 は クリエイティブ・コモンズ 表示 – 継承 4.0 国際 ライセンスの下に提供されています。 大前提 「デザイン」というと小奇麗な見た目のWebページなどを思い浮かべる人もいるかもしれませんが、本エントリでは本質的に設計とデザインは同じものとして扱います。設計もデザインも英語で表せばdesignになることからも、これは明らかです。 設計（≒デザイン）とは何か 設計とは何か？一言で表すのは案外難しいと思います。私もいったい何なんだろうと考えた結果、次の結果にたどり着きました。 設計（≒デザイン）とはソリューションである ソリューションであると
プログラマ向けに書かれた「Soft Skills」という本がすごいという話 - サンフランシスコではたらくソフトウェアエンジニア - higepon blog
日本語版がでました。すぐ買うべし。 SOFT SKILLS ソフトウェア開発者の人生マニュアルposted with amazlet at 16.05.18ジョン・ソンメズ 日経BP社 売り上げランキング: 1,272 Amazon.co.jpで詳細を見る Soft Skills: The Software Developer's Life Manualは残念ながら日本語訳が出ていない。でも英語でも読む価値はある。とても平易な英語で書かれてる。どこかの出版社さん翻訳だして欲しい。空前のブームになるに違いない。 Soft Skills 。alc.co.jp によればソフトスキルは「対人的な交渉・指導・意思疎通などをうまく行える能力（または知恵）」のことらしい。そのタイトルからも分かる通り、プログラマ向けに書かれた本だがほとんど技術の話は書かれていない。プログラマとして生きていくための技術以外
「整った開発環境」「優秀な仲間」「5時からビール」 会社に来るのが楽しくなるエンジニア天国・Indeedとは？ - はてなニュース
求人情報に特化した検索サービスを世界55ヶ国以上で運営するIndeedは、リクルートによる2012年の買収後も、開発者にとって仕事がしやすい環境をとことん追求するエンジニア文化を守っています。恵比寿ガーデンプレイスに移転したばかりの東京オフィスで働く同社のソフトウェアエンジニア5人に集まってもらい、はてなチーフエンジニアの大西康裕が開発スタイルや社風などについて聞きました。Indeed独自のワークスタイルに、はてな側も興味津々。知られざるエンジニア天国の実態とは？ 記事の最後には、デルの27型4Kディスプレイ「P2715Q」が当たるプレゼントのお知らせもあります。 座談会出席者（上写真、左より）：はてな 大西康裕、Indeedの村下瑛さん、濱田卓さん、山口有理さん、杉原啓太さん、落合徹さん （※この記事は、株式会社リクルートホールディングス提供によるPR記事です） ■ 開発スピードを生かす
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
N-gramってなんだ
ぴいこは研究で、類似度を求める機能をシステムに組み込んでいます。そこで、どうしたら人間の思う「似ている」に機械が近づけるかな？と思って試行錯誤しているのですが、似ているといえばコサイン類似度以外にもN-gram（えぬぐらむ）というやり方があるということにたどり着きました。 今回は、こちらのページを大いに参考にしています！研究のソースでも、ベースにこちらのプログラムを利用させてもらって、カスタマイズして組み込んでいます。やりたいことから技術を得るのにわかりやすいページでした NEO INSPIRATION – Ngramを利用したページ類似度チェッカー＋Ngram計算のphpクラス N-gramのNには、1（ユニグラム）とか2（バイグラム）とか3（トリグラム）とか、Nは好きな数字にできますが、一般的には1～3が有効です。私のシステムには2-gramを取り入れています。今回はそのN-gramに
はてなブログ | 無料ブログを作成しよう
聖蹟桜ヶ丘へ 今年度の授業が全て終了した。最後の授業はテスト返却とその確認作業の後は特に何をしろとも言われていなかったので、『耳をすませば』の後半、お姉さんと雫が言い争いをする場面を生徒と皆で見た。 この場面。あの場面、お姉さんは雫に「今しなきゃいけないことから逃…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pythonで学ぶ強化学習 -入門から実践まで-を書きました
Verifiable C
https://xavierleroy.org/publi/unboxed-polymorphism.pdf
sorry
GitHub - Dobiasd/programming-language-subreddits-and-their-choice-of-words: How do the different communities talk?
続けられた理由は「仕事が楽しくなかったから」──カーネルハッカー・小崎資広（3） | サイボウズ式
