ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。)に転載したものから。---オーム社のgolden_luckyさん(鹿野さん)のつぶやき。Abstractions"翻訳本のレビュワーを若干名募集する予定。手法なにそれおいしいの、という人にこそ読んでもらいたいのです。欠陥のないソフトウェア開発を目指す現場の開発者に。Abstractions」の翻訳がオーム社から出るということですね。書名は「抽象によるソフトウェア設計」になると。(著)鹿野さん、最後の追い込みで大変でしょうが、倒れないようにね。Alloyは、恥ずかしながら初耳。Alloy日本語の解説サイトもあるね。形式仕様記述http://sel.ist.osaka-u.ac.jp/~mnktsts/study/wiki/wiki.cgi?AlloyAlloyhttp://homepage3.nifty.com/avidya/alloy/docs/index.htmlAlloy関連ドキュメントこんなのもあった。Methods)の教科書をどうぞ。Methods)http://iiyu.asablo.jp/blog/2007/08/06/1708469仕様記述言語Zのテーマソングが決定http://iiyu.asablo.jp/blog/2010/08/10/5277689地球なう。Hutton著、山本和彦訳「プログラミングHaskell」[コメント(0)|トラックバック(5)]コメントコメントをどうぞ※メールアドレスとURLの入力は必須ではありません。入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。※なお、送られたコメントはブログの管理者が確認するまで公開されません。※投稿には管理者が設定した質問に答える必要があります。)に転載したものから。---お買い上げありがとうございます。)に転載したものから。)のjouwa/salonから。Methods)を知らない人が多い。---お買い上げありがとうございます。---もう早く書かないから、明日まで。28このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンスインプレスのKindle本セール、紀伊國屋書店のKinoppyもすごい。ヨドバシがもっとすごかった。3Dゲーム開発ではじめるC#プログラミング、独習デザインパターンC++データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。【注意喚起】古い郵便貯金が消える。ダウン症の娘を持つ母が、清水の舞台から飛び降りる気持ちで出馬。Kindle本、明日(2023/04//06)まで【最大50%OFF】!NHK出版、日経BP、インプレス、SBクリエイティブ、マイナビ出版の本。大江さんのお姿が忘れられない。ご冥福をお祈りいたします。翔泳社の発達障害の本、2023/04/10まで全文無料公開中。野球WBC:オーストラリア代表が韓国代表を撃破。オーストラリア代表は府中で合宿したよ。BMXのオーストラリア代表の榊原爽さんのことも。推しキャラ総選挙、北九州市のゆるキャラが大集合。バナナの叩き売り発祥の地、門司港のお姫様、バナナ姫ルナのことも。翔泳社祭り2023、電子書籍が各社で50%オフ。大昔の「独習デザインパターンC++」もだ。アマゾンなどセール中。よる自然言語処理入門ご縁があった伊豆の天城荘で火事。2011年に若くして亡くなった女将、野澤美季さんのことマンガでわかるJavaScriptのPromise。あけましておめでとうございます。今年2022年は憂鬱な年でした。来年はいい年でありますように。情報省大活躍:漫画も映画も大ヒットした「ちはやふる」。府中は、ちはやふるの舞台なので、今は完結記念お祝いムード。スタンプラリーもやってるよ。ビッグバンド、いいわあ。チック・コリア、ガーシュイン、ラヴェル、ヤマハのトランスアコースティックピアノのことも。&本格ミステリ大賞W受賞の前代未聞のアンソロジー「短編ミステリの二百年<全6巻>」の編者だって、びっくり。筒井康隆の担当編集者でもあった。大大大大大ショック!府中のラーメンの名店「麺屋もろ」が、今月で閉店。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。Interface(インターフェース)2023年5月号はRust特集、Go言語プログラミングエッセンス最近出た本。3Dゲーム開発ではじめるC#プログラミング、独習デザインパターンC++データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。データ指向プログラミング、データ指向アプリケーションデザイン、動かして学ぶ!Rust入門。Clojureのことも。ダウン症の娘を持つ母が、清水の舞台から飛び降りる気持ちで出馬。ダウン症の娘を持つ母が、清水の舞台から飛び降りる気持ちで出馬。ダウン症の娘を持つ母が、清水の舞台から飛び降りる気持ちで出馬。ダウン症の娘を持つ母が、清水の舞台から飛び降りる気持ちで出馬。6<<プロフィールプロフィールRSSログイン。