関数型日記（仮）
しょぼい組み込みHW屋の私が現実逃避のため関数型言語の勉強を始めました．それはそうと，VdGG観てきました．peter hammillが神すぎて困りました．次も観るぞ！ Lat式ミク様を表示させるために，なにより目がないと怖いのでｗ テクスチャマッピングを実装しました．さらに，マルチテクスチャでトゥーンレンダリングもなんとなくそれっぽくなるように実装しました．どうもレンダリング結果が一部微妙なので今後デバッグしますが，まずはソレっぽい出来なのでひと段落させます． テクスチャ関連に関しては，完全に教科書どおりのコーディングになっています． glTexParameterxで，TEXTURE_WRAP_S/TをGL_REPEATに，GL_TEXTURE_MAG_FILTER/MIN_FILTERをGL_LINEARに設定 glPixelStoreiでGL_UNPACK_ALIGNMENTに1を指
LISPをみんなで勉強しよう！
2009年09月09日02:27 by 刺身☆ブーメラン SLIME をインストールしてみた！ カテゴリ刺身☆ブーメランcommon lisp 最近ようやく livedoor Blog の新管理画面 に慣れてきた kyanny です。 突然ですが！あの Lingr が、復活するそうです！ 速報：Lingrが江島氏の個人プロジェクトとして復活 めでたいですね！めでたいので、しれっとここしばらく更新のなかったブログを書いてみます（関係ない） さて、先日 tokyo-emacs #x02 というイベントに参加したのですが（(tokyo-emacs #x02) レポまとめ）、そこで web4r という、 Common Lisp でつくられたウェブアプリケーションフレームワークを知り（中略） Common Lisp やっぱいいなーやってみたいなーと思ったので、やってみることにしました。 Common
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
みずぴー日記
JSXの特徴は、トップページにも書いてあるとおり「faster, safer, easier」の3つです。安全性とか簡単さについては人とか状況によって様々な定義や意見がありますが、唯一Fasterだけは客観的に測れます。 しかしJSXと速度については、トップページにあるBox2Dとshootingのデータ*1とAOBench on JSXぐらいしかありません。 というわけでWebkitで使われているSunSpider 1.0.2 JavaScript BenchmarkをJSXに移植してJavascriptと速度を比較してみました。*2 環境 sunspider Benchmark for JSX - JSX版ベンチマーク Sunspider Benchmark for Javascript - Javascript版ベンチマーク GitHub - mzp/sunspider-jsx: s
Y.FUJITA::NOTEPAD::YPSILON
いろいろ実験したいこともあり、WordPressでブログを作りました。新しく作った方は、個人的な軽い話題をメインにする予定ですが、よろしければどうぞお越し下さい m(_ _)m Y.FUJITA::NOTEPAD Mac App StoreでPinball Tristanが承認されたのでpromo codeでダウンロードしてテスト。すると・・・ xpchelper reply message validation: sandbox creation failed: 1002 Code identity not in ACL for container ~/Library/Containers/com.littlewingpinball.Pinball-Tristan-OSX/Data (if this is a self-signed app, see asctl(1) for how t
letter
http://github.com/Ramarren/opengl-text/tree/master (eval-when (:compile-toplevel :load-toplevel :execute) (require :cl-glut) (require :opengl-text)) (defvar *font-loader* (zpb-ttf:open-font-loader #p"/usr/share/fonts/truetype/vlgothic/VL-PGothic-Regular.ttf")) (defclass string-window (glut:window) ((opengl-text :initform (make-instance 'opengl-text:opengl-text :font *font-loader* :emsquare 64))) (
はてなブログ
焼津観光では「さわやか」と巨大プリンを食え【グルメ】 東西に伸びる静岡県のちょうど真ん中あたりにある街、焼津市。2つの大きな港湾があり、カツオやマグロが名産となっている。 さてそんな焼津市に、先日ドライブがてら寄ってきた。比較的栄えている様子だったので、特にプランも立てずに行ったが、着いて早々気がついて…
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
社会の片隅から、ひとりごと：楽天ブログ
エラーにより、アクションを達成できませんでした。下記より再度ログインの上、改めてミッションに参加してください。
新千葉 ガーベージ・コレクション
uplatex をつかっていて ! Missing $ inserted のエラー。 このエラーは数式モードで $ が足りないというエラーらしいが、maketitle で出ていて、 そもそも $ つかってない。がよくみると _ をつかっていた。 \newcommand{\thetitle}{04_USB} \title { \thetitle } \pagestyle{empty} \maketitle ということで、04_USB を 04 USBと空白に変えるとエラーではなくなった。 色んな人が引っかかっているみたいだぞ。 引っかかってここに来て、これで解決した人は、自分のブログに同じことを書くか、 X.com でつぶやくかして、情報を共有しましょう。 エラーの詳しい内容は次。 (_build/04_USB.aux) *geometry* detected driver: dvipdfm
Practical Common Lisp を読む
前説 FOO言語においては、InterpreterとくらべてCompilerが最適化しているのは、テキストをできるだけまとめて出力するようにすること。 The Compiler The compilerのアーキテクチャ。 html-compilerクラス。このオブジェクトにbackendの総称関数へ成されたopsを集積させる。 backendの総称関数は、前項へのops書き込み機能を持つ。 opsを最適化する関数にわたし、最適化される。 最適化されたops vectorをgenerate-code関数が受け取り、CLのコードを吐く。 compilerがhtml-compilerのときのprocessor interface(メソッド)は、html-compilerへのopsの集積処理とする。 関数sexp->opsを定義する。これは、前項を順次S式に適用してopsのvectorを作成する。
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
letter
CPU : AMD Ryzen 9 5950X Vermeer[3.4GHz/16Core/TDP105W] 搭載モデル CPUグリス: Arctic Silver AS-05A [高密度微粒子、高熱伝導率タイプ] 水冷UNIT : Fractal Design FD-WCU-CELSIUS-S36-BK [水冷ユニット] MOTHER : ASRock X570 Taichi [AMD X570chipset] MEMORY : 64GB[16GB*4枚] G.SKILL Trident Z RGB DDR4-3200 RGB内蔵ヒートスプレッダー搭載 Dual Channel HDD/SSD : Western Digital WD Black SN850 WDS200T1X0E [M.2 PCI-E GEN4 SSD 2TB]★PCI-E4.0対応 超高速次世代S
ヒビノキロク
理由は id:nozom:20090202 を見てください。 はてな市民制度について はてな市民とは によると はてなキーワードを編集するためにははてな市民でなければならない はてな市民になるためにははてなダイアリーかはてなグループ日記を30日以上利用しなければならない 最後の利用から30日以上利用がない場合一時的にはてな市民ではなくなる ということで、移転先のはてなグループの方はほぼ週１更新なのではてな市民になるまであと約６ヶ月もかかるが、さすがにそれは待っていられないのではてなダイアリーの方を更新してみるテスト。 たぶん今後も何回か同じことがあると思います。 ユーザーページへのGoogle Analyticsの設置についてのアンケートで反対したことがいつの間にか*1導入されていたため、本日をもってこの日記の使用を中止します。 他のサービスに移ることも考えたのですが、当面の間 g:noz
sumiiのブログ
（Twitterから参照するためのメモです） まずそもそも「関数」は「同じ形の計算を何度も書かないための仕組み」であることを十分に理解する（させる）。その上で、 sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「同じ計算を何度も書いている」から、 sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...と書き換える。これを一般化すると sum(0) = 0 sum(n) = sum(n-1)+n （n>0の場合）つまり sum(n) = if n=0 then 0 else sum(n-1)+nとなる 追記：n<0の場合は気にするな。 （高校で習うはずの）数学的帰納法
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Tech-NEET
okshirai：So-net blog
masamic日々の雑感