まめめも
「型システムの仕組み - TypeScriptで実装しながら学ぶ型とプログラミング言語」という本を書きました。 「型システムの仕組み - TypeScriptで実装しながら学ぶ型とプログラミング言語」 どんな本？ 簡単な型チェッカを自作してみることで、型システムの仕組みを概観する本です。 型チェックする対象の言語はTypeScript（のサブセット言語）、型チェッカを実装するための言語もTypeScriptです。 たとえば、次のようなプログラムが型チェックできるようになります。 const add = (x: number, y: number) => { return x + y; } const a = add(1, 2); const b = a + true; 型チェッカは、それぞれの変数がどういう型を持つか管理しつつ、プログラムの各パートがどういう型になるかを判定していきます。
Ruby で packrat parser - まめめも
packrat parsing というパーサの実装方法があります。特徴は、再帰下降パーサ + 無限先読み可能 + memoize*1 という感じです。僕が下手な説明をするより、英語わからなくても Haskell わかればわかる素晴らしいスライドやPappy (reference implementation) を参照してもらったほうがいいです。 で、練習として Ruby で packrat parser を使って足し算と掛け算だけの電卓を作ってみました。 $ ruby arith.rb 1 + 2 + 3 => 6 1 + 2 * 3 => 7 1 + 2 * (3 + 4) => 15文法はこんな感じ。 式 = 空白 加算式 文字列終端 加算式 = 乗算式 ("+" 乗算式)* 乗算式 = プリミティブ ("*" プリミティブ)* プリミティブ = 数値 / "("
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
株式会社 まちづくり三鷹 :: 企業情報
国産プログラミング言語で、中高生国際Rubyプログラミングコンテスト H23.2.1 【要約】 このたび、プログラミング言語「Ruby※」によるシステム開発等で実績のある企業が集まって実行委員会を組織し、子どもたちの将来への夢を育むことを目的に、「中高生国際Rubyプログラミングコンテスト」を実施することといたしました。 当実行委員会では、昨年12月27日に、本事業について、経済産業省の後援をいただいております。現在、本事業の趣旨に賛同する自治体、公的機関等の後援もお願いしているところであり、社会貢献活動として協賛・協力をしていただく企業も幅広く募って、毎年継続的に実施していきたいと考えています。 当実行委員会では、子どもたちが楽しく学び発表する機会を提供することにより、子どもたちの科学教育振興に寄与するよう努めてまいります。 「中高生国際Rubyプログラミングコンテスト」について、
今年の年賀状ネタ - 桜花な日々
去年（http://d.hatena.ne.jp/rofi/20100417/1271519352）に引き続き今年もやりました。 長いので詳細は続きから。 今年のネタ みなさん今年の干支は何でしょうか？ そうですね、みなさん大好きうさみみ年兎年ですね！ ということで今年のネタはこれです！ #include <stdio.h>/* q=" =;;; $a= 'us' .'a' .'c' .'c' ;; $a=~ s/c/mi/g ;print $a; exit(); q&*/ #/**/ define p(c) putc(c ,stdout ) void pr( char *s, int/* */ e) {char *t =s ;for (; *s ;++s){ /* */ switch( *s ){ case 96: if (e) p(*s);else pr (t ,1);break; /
Free Programming Books
Here is an uncategorized list of online programming books available for free download. The books cover all major programming languages: Ada, Assembly, Basic, C, C#, C++, CGI, JavaScript, Perl, Delphi, Pascal, Haskell, Java, Lisp, PHP, Prolog, Python, Ruby, as well as some other languages, game programming, and software engineering. The books are in various formats for online reading or downloading
オブジェクト指向スクリプト言語 Ruby
Rubyとは... オープンソースの動的なプログラミング言語で、 シンプルさと高い生産性を備えています。 エレガントな文法を持ち、自然に読み書きができます。 ダウンロード または もっと読む... CVE-2025-43857: net-imap gem のDoS脆弱性 net-imap gem に DoS の脆弱性が発見されました。この脆弱性は CVE-2025-43857 として登録されています。net-imap gem のアップグレードを推奨します。 もっと読む... Posted by nevans on 28 Apr 2025 Ruby 3.5.0 preview1 リリース Ruby 3.5.0-preview1 が公開されました。Ruby 3.5では、Unicodeバージョンの15.1.0へのアップデートなど様々な改善が行われています。 もっと読む... Posted by
このブログは証明できない。
Kindleストアで本を出版しました。「水曜日のシングルファーザー: 自由に生きる思考法」という、タイトルからは内容がわかならい感じになっています。 宮崎ひび。詩人。三姉妹のシングルファーザー。詩は書いたことがない。子どもは3人育てている。 離婚、ひとり親、身寄りのない土地への移住、心の病。大変ですねと言われるけれど、本人に自覚はない。 「将来は予測できない」を基本原則に、日々を自由に生きている。ときどき怒られるけれど。 特になにも成功していない著者が、しがらみにとらわれず自由に生きる思考法を公開する。 Amazonの子育てカテゴリーに入ってますが、これって自分で調整できないんですね。内容は育児書というよりもエッセイとか自己啓発書とかに近い感じだと思います。子育てについての内容は少なめかも。なので、子どものいない人も読者として想定しています。若い人とかいいかも。 この記事に書いたようなこと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
codnote.net
codepad
mapee.jp