ひしだまのホームページ(Hishidama's HomePage)
S-JIS[2002-02-26/2024-08-21] 変更履歴ひしだま's ホームページ ひしだまのホームページへようこそ！ 簡単な注意と説明 [/2009-02-01] 趣味の読書 気に入った本・漫画 [/2023-10-01] リプレイ集（ソードワールド等）の元ネタを記録 [/2008-11-19] 趣味の音楽 [/2008-08-02] 趣味っぽくもない映画 [/2008-07-17]、断じて趣味でないアニメ [/2015-12-30], OVA [/2008-03-02]、滅多に見ないTV [/2008-05-05] 趣味の自転車 [/2004-02-05] ちょっと言いたい 格言・慣用句・お約束の備忘録 [/2008-11-16] 試験必勝法(?) [2006-10-15] 他人の面白い一コマ [/2007-06-27] コンピューター関連 持っていたハードウェア [/201
( ꒪⌓꒪) ゆるよろ日記
どうも、しいたけです。 去年あたりからローレイヤー周りの知識を充実させようと思い、 低レイヤを知りたい人のためのCコンパイラ作成入門 を読んでCコンパイラを書いてみたりx86_64の勉強をしたりしていました。 今年に入ってから、よりローなレイヤー、具体的にはハードウェアやOSについてもう少し知りたいと思い始め、手頃な書籍を探していました。 CPUなどのハードウェア周りについては概要しか知らなくて手を動かしたことがないので、実際に何か作りながら学べるものとして、 O'Reilly Japan - コンピュータシステムの理論と実装 に挑戦することにしました。 O'Reilly Japan - コンピュータシステムの理論と実装 成果物は以下のリポジトリに置いてあります。 yuroyoro/nand2tetris 結論から言うと、やってみて大変楽しめました！ 特にハードウェア周りは今まで挑戦したこ
Conceptual Contexture
前回はRDBMSの使用が引き起こすモジュール性の低下について議論したが、その根拠を具体的に示さなかった。その補足ということで今回は小さな例を１つ示したい。 また、関数プログラミングが副作用の多い状況に対して弱みを持つ、と書いたのは乱暴であったのでお詫びして訂正したい。 正しくは、副作用を含むロジックに対しては、注意深く抽象化を行う必要があり、副作用・外部入出力の種類が違えば、そのたびごとに抽象化のモデル・実装について熟慮して抽象化を行う必要があるということである。 これはうまい抽象化が不可能だということではないので、それを弱みと呼んだのは間違った一般化であった。 しかし、ありがちな抽象化の方法では、クエリーの発行がモジュール性の低下を引き起こしかねないということを小さな例を使って示したいと思う。この例は手続き的な擬似コードによるものだが、RDBMSを抽象化するfunctionalなDSLで
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
Rainy Day Codings：So-net blog
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで "Types and Programming Language" (Pierce 2002) の第8章 "Typed Arithmetic Expressions" をAgdaでやることにする。 open import Relation.Binary.PropositionalEquality using (_≡_; refl) open import Data.Product using (_×_; proj₁; proj₂; ∃; ∃-syntax) renaming (_,_ to ⟨_,_⟩) open import Data.Sum using (_⊎_; inj₁; inj₂) infix 10 succ_ infix 10 pred_ infix 9 iszero_ infix 8 i
連載: IBM Watson Workspace #鬼わか アプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか 解説（前編）
IBM Related Japanese technical documents - Code Patterns, Learning Path, Tutorials, etc. Please open new issue/pull requests in either English or Japanese if you would have any feedback or you would like to contribute this repo. We provide mainly "Japanese contents" by markdown text. IBM Developerの最新情報は https://developer.ibm.com/ にアクセスし、英語のコンテンツを参照してください。 このリポジトリは、IBM Developer Japan Webサイトで公開していた
刺激を求める技術者に捧げるScala講座---目次
本連載では，次世代のエンタープライズ・プラットフォームを支える言語として，このところ最も注目を集めている言語「Scala」の魅力をお伝えしていきたいと思います。Scalaは，技術的にもかなり刺激的で，楽しい言語に仕上がっています。最初の一歩から刺激的な技術解説まで，幅広くScalaのおもしろさ，楽しさをお伝えしたいと思います。 第1回 なぜScalaなのか？ 第2回 Scalaの基本的な文法 第3回 Scala言語を探検する（1） 第4回 Scala言語を探検する（2） 第5回 Scala言語を探検する（3）関数型言語としてのScala 第6回 Scala言語を探検する（4）Scalaの型システム 第7回 関数脳のつくり方 First Season 第8回 Scala DSLでできること 第9回 Scala DSL事始め（前編） 第10回 Scala DSL事始め（後編）
Tutorial和訳 - プログラミング言語 Scala Wiki
下記のWikiページは version 1.3 (July 13,2010) です。英文は表示されませんが、編集ページ上にコメントで残してあります。加筆・修正等はどうぞご自由に。 翻訳文の PDFはこちらです。 A Scala Tutorial for Java Programmer version 1.2 A Scala Tutorial for Java Programmer version 1.3 (表示コメントは昔のままですが) ver1.3は reStructuredTextで書いてあります。ソースや作り方は PDF最後のページに添付ファイル(UTF-8 BOMなしテキスト)として埋め込んであります。 翻訳は完了しましたので、どなたか翻訳の不備をご指摘願います。 -- tmiya (2007-11-18 21:32:02) 翻訳おつかれさまでした。ファイル名を_jaをつけるなどし
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
イベントフロー検証ツール | Diaspar Journal