agdaに挑戦し、即死した話 agdaは公式のチュートリアル(http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Othertutorials)に日本語の記事があったので、それをやることにした http://ocvs.cfv.jp/tr-data/PS2008-014.pdf こいつだ。 その前にまずagda…

Android Studioでエミュレータを起動しようと思った時に、 emulator: ERROR: x86 emulation currently requires hardware acceleration! Please ensure Intel HAXM is properly installed and usable. CPU acceleration status: HAX is not installed on thi…

最近rubyを書くようになってrakeが便利すぎてPHPで書いてることを後悔している今日このごろだけど、相変わらずlaravel. laravelでArdentを使うと便利、が・・ - エンジニアですよ！ で、Ardentのフックを使おうと思ったんだけどArdentがダメっぽいというのを…

LaravelのValidationは便利。 http://laravel.com/docs/4.2/validation#basic-usage にある例を引用すると $validator = Validator::make( array( 'name' => 'Dayle', 'password' => 'lamepassword', 'email' => 'email@example.com' ), array( 'name' => 'r…

laravel - Model で Validation したい? それならば Ardent だ！ - Qiita こういう記事を読んだり、削除する前のvalidationをcontrollerに書きまくるのが嫌だったのでhookを削除前のvalidationもsaveの時と同じように簡単にやりたいなぁなどと思っていて、Ar…

コンパイラつくろー - エンジニアですよ！で書いたように、コンパイラを作っている。 まぁまだ難しいのでコンパイラというか単に数式をパースして計算するというのを作っている。。 アセンブリコードを出力しようとして色々試していたら、パーサー部分がまだ…

難しいのでこれとかを読みまくる以上のことはできない(；´Д｀) プログラムはどう動くのか? 〜 ELFの黒魔術をかいまみる kernelかー。触れたことがない領域。

コンパイラつくろー - エンジニアですよ！で書いたようにコンパイラを作っている。 フロントエンドもさることながらバックエンドの難しさは自分の理解できる範囲を余裕で超えている。 気になることを調べながら地道に進めていく。 ELFヘッダーについて調べつ…

最近は前に比べてちょっとレイヤーが低めな仕事をするようになり、わからないことが増えた。 中でもc言語やメモリのこと、cpuのことなどなどは全くもってわからない。 ミドルウェアはcで書かれていることが多かったり、ハード的な制約に影響されることが出て…

（laravelのコードを読んでいたけど、ドキュメントまず読めという電波を受信してせっせとドキュメントを読んでいたら、色々勉強する必要に迫られて別のことやっている。） 例えばchef。 chefとかcookbookとかrecipeとかknifeとか、無知なのでネーミングにイ…

ルーティング周りを読んでいて気になった内部的なローディングのことを少し確認しておく。 laravelはたくさんのServiceProviderが提供するサービスを利用して動いている(?) ServiceProviderをregisterすることで、色々なところから使える状態になる https://…

Modelで引っかかったところがあって先に読んだけどまず気になるのはやはりルーティング周りになるよね。 読んでみる プロジェクトを作ると、app/routes.phpが作られる 初期状態だと Route::get('/', function() { return View::make('hello'); }); となって…

プロジェクトを作った時に作られるファイルを眺めていて、モデルを見ていると class User extends Eloquent implements UserInterface, RemindableInterface ですと。 Eloquentってなんだ。 laravelが独自のORMのことをEloquent ORMって呼んでいるのはわかる…

導入 最近はやりのPHPのWeb Application Framework, Laravelを使うことにした laravel自体の勉強と、色んなコード読んで設計や実装について学ぼう月間の一環として、実装中に気になったところのコードをちょいちょい読んでくことにする。 読むのはLaravel ve…

Facebookのアプリなんて今更誰が作るのかというのはおいといて、facebook apiを野暮用で使うことになったが、このcallbackで苦労した・・。 php-sdk-4を使ってfacebook loginを使おうとしていたけど、ちゃんと実装はできていてfacebookに遷移まではするが、…

いつからかuniteのバージョン上げてからか、unite-outlineが動かなくなってた。 使おうとするとエラーが出る Error detected while processing ~/.vim/bundle/unite-outline/autoload/unite/sources/outline.vim: line 52: E121: Undefined variable: g:unit…

# というのはこういうやつ → ({type λ[α]=State[S, α]})#λ 先日のscalaz勉強会でも質問があって触れられていましたが（↓） http://t.co/GoCDB4TGVu "Scalaにおける型パラメータの部分適用 [({type F[X] = G[A,X]})# F] について" #scalaz— Kenji Yoshida (@x…

sbtの実装を知りたいんだけどコード読んでもなかなか理解が深まらないので、プラグイン書いたら少し理解が深まるかな、という理由で何の意味もないプラグインを書いてみる wcといいつつsrc/main/scala以下のscalaファイルの行数を出力するプラグイン TaskKey…

API叩く これらを参考にしてカレンダーのAPIを叩いてみた。 http://taichino.com/programming/python-programming/3101 Calendar API PyDoc https://developers.google.com/resources/api-libraries/documentation/calendar/v3/python/latest/ だけどうまく…

scalaでChatworkとJIRA連携させて、Chatworkでコマンド打つとJIRAのAPIで色々できるbotを作ったんですが、チケットを作るときに日本語で文字化けしてしまっていました JIRAってREST API使ってIssue作ろうとすると、日本語文字化けしちゃう？？— Takafumi Hir…

新しくページを作ったとき、デザイナーさんにサクッと確認してもらうためにgyazoでキャプチャを撮って渡すことがあるんだけど、撮るのがめんどい。 全画面取りたいからまずこのchrome拡張でキャプチャを撮って、gyazoにドラッグ・アンド・ドロップしてgyazo…

http://kyon-mm.bitbucket.org/blog/html/2014/01/03/re_test_think_2014.html#comment-1196464537 だから「開発者自身が書くテスト」なんて、マスターベーションと揶揄しましたがほんとに役に立たないものを書きがちで、テストの実行がどんどん遅くなってい…

こんな感じになるのかな。 そもそもcase classからjson作ったりしないで、こういうDSL使えって話かな https://github.com/json4s/json4s#example

neocompleteを使いつつvimでclojureを書こうとすると必ず↓のようなエラーが出てしまうのなんでかわからなくて困ってたんですが、 completefunc=clojurecomplete#CompleteLast set from ~/.vim/bundle/neocomplete/autoload/neocomplete/init.vim Another plu…

scalaで何か作りたい週間だったので、scalaのdispatchを使ってまだ途中ですがAPIのclientを作っていました。 （まだ途中だしとりあえず何か作ってみたいというのとimplicit使ってみたりmonad使ってみたりしようというので作っていたので使い物にはなりません…

たまたま見かけただけだけど、ちょっと気になった。 MQ Telemetry Transport (MQTT) V3.1 プロトコル仕様 MQTT (MQ Telemetry Transport) はブローカー・ベースの軽量なパブリッシュ/サブスクライブ型メッセージ・プロトコルです。MQTT はオープンで単純、軽…

clojureを何も知らないままとりあえず１つプログラム書いてみて、色々知らないまま書いていたのでとても苦労しました 便利な関数がいっぱいあったのでメモ。 ネストしたmapの操作 jsonを扱っていると時にネストの深いhash-mapをいじらないといけない時があり…

HaskellでJSON Web APIを作ると幸せになれるかもよを見て、これはすごい！早速作ってみようと意気込んで取り組んだもののハマってハマって仕方がなかった SqliteじゃなくてMySQL使おうと思ったんだけど、エラーが出続ける persistent.hs:49:5: No instance…

golangが最近流行っていますね！（適当） すぐになんでも書きたくなるので、swfの解析をしようと思っていたところでちょうどネタがあったのでgoで書いています。 https://github.com/totem3/goswfdump やっとヘッダーがパースできるようになったくらいですが…

http://stackoverflow.com/questions/1768567/how-does-one-start-a-thread-in-clojure Clojure fns are Runnable clojureでは関数はRunnableなんですね！！ 便利！！ リンク貼ったstackoverflowに書いてあるようにfnで作った関数でも、もちろんdefnでも一緒…