さて、最近は『電脳コイル規格書』( http://www.xanxys.net/dc/ )というちょっとしたコメンタリを書いていたのですが、10パラグラフ以上あるような文章だとHTMLを完全に手書きするのは見通しも悪く、ちょっと面倒です。もちろん十分長いものや続き物であれば…

これを実時間の非可逆性に求めるのは釈然としない。なぜならそれは検証ができそうにないし、可逆な系内で構築した計算機によりどんな法則の空間であれエミュレート可能だからである。 そこで、可逆で決定的な系の内部における観測者がなぜある種の現象を、そ…

はじめに 非常に多くの物理現象は場の相互作用によってよく表されます。そして、その相互作用は絶対座標に依存しない局所的な時間発展を示す偏微分方程式で表されることになります。これらの経験的あるいは解析的な簡略化として、何らかの離散化が行われます…

いわゆる二次元セルオートマトンで用いられる格子として、4つの近傍を持つノイマン近傍と8つの近傍を持つムーア近傍が有名ですが、状態や遷移関数を操作して、同じ「振る舞い」を維持しつつそれらを互いに変換できるか考えてみました。

さて、いわゆる関数型言語の基礎となっているλ計算ですが、一部の言語(eg. Haskell)では厳しく副作用を禁止することでパワフルでありながら参照透過性を維持し、非正格な評価を可能にしています。*1こうするとうまく評価戦略を選べば*2、λ抽象でない正規形を…

はじめに http://graphics.cs.cmu.edu/projects/scene-completion/ のような物を実装してみました。そのときに苦労した点など書いていこうかと思います。*1 紹介 元の論文を読めば分かるのですが、違いもあるかもしれないので私の(再)実装の概要を書いておき…

如月のある日、なぜか突然キュゥべえのフィギュアを作ることを思い立ちました*1。キュゥべえ(以下QB)のことはご存知の方も多いと思いますが、幼気な少女達を詐欺同然の手口で怪しげな魔法の世界に連れ込もうとする淫獣愛らしい小動物です。ちなみにフルスク…

(この記事はHaskell Advent Calendar 2010の25日目です)さてHaskell Advent Calendarもいよいよ最終日となりましたD*1とは違うんです。これまでとちょっと毛色の違う話題として、Hackageで画像・音声・動画のコーデックを調べてみました。コンテンツ編集ソフ…

前々から作っていたHMDがとりあえず形になったので報告します。いきなりですが、これがその写真です。 ごてごてしてますね。96.4g*1で、正面のカメラ二台で撮った映像をPCに送って、(加工した後)QVGAのディスプレイ二枚に表示できるといういかにもAR用な仕様…

FT2232HのチャンネルAとBのMPSSEを同時に使おうとして嵌ったというお話。 環境 2.6.34.6-54.fc13.x86_64 libftd2xx.0.4.16 libftdi.1.17.0 本編 http://www.ftdichip.com/のチップはUSBシリアル変換によく使われますが、複数のチャンネルを同時に使う例はな…

twitpicの経営状況が不安、twitpicは後から見返すには不便なインターフェースなので Picasaのアルバムにコピーできるサービスを作ってみました。 バックアップやまとめ等に利用できるかと思います。http://meta-album.appspot.com/

Haskellから、twitter APIなどJSONを使いたい場面でどう書くかという話。 よくある書き方 data Tweet=Tweet {text :: String ,user :: User ,id :: Int , ... } data User=User {screen_name :: String ,name :: String ,id :: Int , ... } jsonToTweet :: J…

http://www.designspark.com/ で無料の回路図/PCBエディタが公開されたので、最近作っているHMDの基板をこれで設計してpcbcartに発注してみました。 DesignSparkの特徴 今のところ 無料で使える (要登録) ガーバー出力可能 Eagleからのインポートに対応(らし…

かなり以前に0.5mmの壁として作り始めて放置していたファンクションジェネレータですが、ようやく完成したのでここにまとめておきます。 概略 前々から何かとファンクションジェネレータがあれば・・・と思う場面があって、機会があれば作ってみたいと思って…

(これは過去のプロジェクトを供養するためのエントリです) はじめに 最近世間では3dプリンタが個人レベルでも使えるようになってきて、arduinoなどのブームとともにちやほやされているようです。 そこで放棄してしまった3dプリンタプロジェクトを思い出した…

(注: このエントリは個人が趣味として行うような小規模プロジェクトを想定して書いています。)さて突然ですがよくある回路図エディタで何か書こうと思った場合次のようなステップを踏むことが多いのではないでしょうか: 使う部品(主にIC)を作成する 大きな部…

JTAGの無いAVRに書き込む必要があったのでUSBaspを作りました。 また、適当なツェナーダイオードを手持ちに無かったので3.3Vで動作するよう変更を加えてあります。 ファームウェアを書き込む http://www.fischl.de/usbasp/から最新版をダウンロードしてATmeg…

日本語が読める方はHawitter - jaをご覧ください。hawitter[hawɪtə] - A simple twitter client hackageDB: http://hackage.haskell.org/package/hawitter It is not hatwitter! 0.4 (beta) changes: added popup menu (post/quit) to tray icon. OAuth supp…

If you don't read japanese, see Hawitter - en. hawitter(はうぃったー) - シンプルなtwitterクライアント hackageDB: http://hackage.haskell.org/package/hawitter 0.4 (beta) 変更点: トレイアイコン右クリックでメニュー(書き込み,終了) OAuth対応 TLM…

最近hs2bf関連のエントリを上げていなかったのは、別のプロジェクトに取り組んで(いた|いる)ためです。実のところhs2bfへの興味が薄れたことが原因なので、このままになる可能性も高いです。とはいえ需要はあるかもなので、とりあえず現状のままで公開してお…

携帯電話によく使われている小型の振動モータを壊してしまったので分解してみました。 ロータはコアレスで中は空洞になっています。 ステータの磁石は小さい割には強力です。感覚的にはネオジム磁石ぐらいの強さです。 この中に穴が開いていてすべり軸受けが…

作業台を照らしていた蛍光灯が切れたので手持ちのLEDで作ってみました。今回切れたのはFPL13EX-Nで13Wのものです。 たまたま手元にあったCREEのXLamp 7090XRを3つ直列で使います。 写真では分かりにくいですが両端のLEDは10度ほど外側に傾けてあります。 LED…

ようやく数値の計算ができるようになったので、クイックソートを実装してみます。

前のエントリでさりげなく"best"を使っていましたが、こういう単語(つまりソートに関して不変)は何個ぐらいあるのかWikipedia(英語版)から抽出した単語リストで調べてみました。

ようやくGC(とλ-liftingとletrec)を実装しました。今回はその説明です。

case式の変換を実装したので、ようやくHello Worldできます。しかし・・・

Arch Linuxのインストールと設定。

はてなのファイルアップロード機能は有料なので、画像でないファイルを参照したいときには置き場所を確保する必要があります。 そこで以前からweb application(非公開)やWiki(個人使用)を動かしていた自宅サーバーを使っていました。 問題はそのサーバーが今…

今度こそうまくいったので、成果と今後の方針について。

今回は初めてhs2bfでコンパイルが通るようになった(注:バグあり)ので現状の説明と合わせて報告します。