pokapoka.info
pokapoka.info 2019 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
kazkaz diary
_ [Haskell] hs-dotnet入れた。 PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs configure Configuring hs-dotnet-0.4.0... PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs build Preprocessing library hs-dotnet-0.4.0... Building hs-dotnet-0.4.0... C:\ghc\ghc-6.10.2\bin\ar.exe: creating dist\build\libHShs-dotnet-0.4.0.a PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs install Installing library
マンジラボ
この話題は去年の間に収束したとおもっていたのですが、再燃してきているみたいなので記事にしておきます。 Clojure使いを何と呼ぶか。 Clojure使い – skalabeの日記 結論から言うと “Clojurian“。 実はRich本人がすでに言及しています。 The A-Z of Programming Languages: Clojure (Page 3) interviewer: Perl gurus are ‘Perl Mongers’, Python ones are ‘Pythonistas’. We think Clojure needs something similar. Any suggestions? Rich: I think everyone has settled on Clojurians. というわけでもうClojurianでいいよね。＞ all 「Cl
trotrの日記
gistに書けば良かったかも。 listを一連の流れの連鎖ではなく候補からの選択と捉えてみると、別な形のマクロが思い浮かぶ。 (やり過ぎ良くない…ただ、実験ということで) 例えば、こんな感じ。clojureの->,->>にならい、初期値を取りそれをもとに選択を行うようになっている。 (define (f x p val) (and (p x) val)) (define (QandA Q) (@maybeL Q (f symbol? 'symbol) (f integer? 'int) (f list? 'list) (f identity 'unknown))) (map QandA '(10 aa (aa) #(aa))) ; => (int symbol list unknown) 他の構文とは異質なものなので、それをはっきりさせるために@をつけている。 code (use util
idesaku-blog
Ruby on Railsにはrails dbconsoleというコマンドがある。config/database.ymlの接続情報を使ってデータベースクライアント(mysqlとか、psqlとか)を立ち上げてくれる、やや便利なやつで、DBからちょっとした情報を手軽に得たいときに重宝している。たとえば、こんな感じの使い方である。 $ echo "show variables" | bin/rails dbconsole -pところが、これが私の環境に限りいつのまにか使えなくなっていたので、さて困ったぞと。 続きを読む タコの本である。とにかくタコについて詳しく書いてある。例えば、ご存じであろうか…タコは、腕の吸盤で味を感じ取れるらしいぜ。 Octopus!: The Most Mysterious Creature in the Sea Katherine Harmon Courage Cur
8時40分が超えられない - subtech
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Why Ruby is an acceptable LISP (2005) | Random Hacks
Random code snippets, projects and musings about software from Eric Kidd, a developer and occasional entrepreneur. You're welcome to contact me! Dec 03, 2005 • by Eric Kidd Years ago, I looked at Ruby and decided to ignore it. Ruby wasn’t as popular as Python, and it wasn’t as powerful as LISP. So why should I bother? Of course, we could turn those criteria around. What if Ruby were more popular t
橋本詳解
JSでRSA暗号が使えるやつ使ってみた http://cryptico.wwwtyro.net/ 鍵作る var pass = 'kazusuke'; var rsa_key = cryptico.generateRSAKey(pass, 1024); var pub_key = cryptico.publicKeyString(rsa_key); 'hello'を暗号化 var enc = cryptico.encrypt('hello', pub_key); console.log(enc.cipher); 復号するとhelloが出てくる var dec = cryptico.decrypt(enc.cipher, rsa_key); console.log(dec.plaintext); Macはファイルが作成された時にフォルダアクションが実行できる フォルダアクションはAutoma
RubyBeginner （ルビギナー）の世にも奇妙な開発
Index Ruby On Railsを利用した開発の記録をまとめたIndexページです。 Ruby On Railsのバージョンは2.0.2です。 まだまだ未熟なのでたまに間違ってるかもしれないですが コメントにて突っ込みいただけると助かります。 また、Ruby仲間も募集中なので是非是非コメントお待ちしています。 Ruby On Rails開発記 ■Rails応用テクニック -ActiveRecord系 複数の更新系処理を同時にCOMMITする ActiveRecordのModelクラスとエンティティ名の関係を自由に設定した 集計処理を実装 Railsでシステムカラムを用意する Modelクラスのカラムフィールドアクセス -ActiveViewer系 DATE_SELECTをCHAR型のカラムに対応させる リンク用ボタンを作る 外部のサイトへリンクする 改行を表現する ＜% %＞と＜%
Ruby On Rails ピチカート街道
2024.07 « - - - - 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 » 2024.09
ひとり勉強会
VSTTEという国際会議の開催した「ソフトウェア検証大会」 https://sites.google.com/site/vstte2012/compet 問題文PDF に挑戦していました。48時間で5問の仕様と実装が提示されて、その正しさ、つまり停止性や、配列の範囲外アクセスをしないこと、仕様を満たしていることなどを、なんでも自由なツールを使っていいから検証してみよう！というコンテストです。 というわけで、Coq でやってみて、力尽きました。難しいですね！コードだけ貼り付けておきます（提出はしてない）。 Problem 1 とある bool のソートアルゴリズム。 Coq で書けたので停止性は示されているはず 配列は範囲内であることが証明されている整数でしかアクセスできない依存型なのでアクセスも安全なはず 返値が sorted であることも証明付きの依存型なので大丈夫なはず 元のpermu
てきとうなメモ
Hertzbleed Attack CPUの脆弱性で大きな話かなと思って論文少し読んでみた。が、Q&Aに書かれている通り、すぐに心配すべきものではないという感想。 Should I be worried? If you are an ordinary user and not a cryptography engineer, probably not: you don’t need to apply a patch or change any configurations right now. If you are a cryptography engineer, read on. Also, if you are running a SIKE decapsulation server, make sure to deploy the mitigation described below.
platypope.org / blog / I need a cool European accent
It's apparently essential for screencasts, but I decided to have a go at it anyway and made a screencast version of the Emacs demo I gave at the last ATLRUG meeting. Here's a list of the various features I demoed if you want to track them down to use yourself: ECB is the Emacs Code Browser. Debian & Ubuntu have packages for this. The buffer-switching feature I used is the ido package, which is inc
『rubyco（るびこ）の日記』
String#stripは文字列前後の空白を削除します。 " Hello, world! ".strip #=> "Hello, world!" String#strip!は文字列前後の空白を削除します（破壊的メソッド）。 >> " Hello, world! ".strip => "Hello, world!" >> "\t\t\tHello, world!\n\n\n".strip => "Hello, world!" >> s = " Hello, world! " => " Hello, world! " >> s => " Hello, world! " >> s.strip => "Hello, world!" >> s => " Hello, world! " # String#strip は非破壊的 >> s.strip! => "Hello, world!" >> s =
はてなブックマーク件数を blog に貼り付けるウィジェット
はてなブックマーク件数を blog に貼り付けるウィジェット 2006-02-27-1: [JavaScript][Ajax][Ruby][Code] ウィジェットというほどのものではないけど，はてなブックマーク件数を簡単に blog に貼り付けることが出来る部品を作ってみました． はてなブックマーク件数とは以下の画像の赤枠のようなものです． この赤枠の中で囲まれた部品を blog に貼り付けることが出来ます． このウィジェットの使い方はとても簡単で <link rel="stylesheet" type="text/css" href="./styles/hatebu-count.css" /> <script type="text/javascript" src="./js/prototype.js"></script> <script type="text/javascript" s
mrubyのmrb_gc_arena_save()/mrb_gc_arena_restore()の使い方 - Matzにっき
_ 新PC GitHubスポンサーの収入がありそうな気がしたので(注文時点では未取得)、デスクトップPCを購入することにした。 意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、 Ryzen9 3900 (12 core) 64GB memory 1TB SSD (M.2) Radeon RX560 で、先週届いて、早速Linux (Mint XFCE)をインストールしたのだが、しばらく使っていると突然落ちる。どうもグラフィック関係らしく、sshでログインして使っていると落ちない。GPUのベンチマークプログラムglmark2を実行すると即死。 で、購入先に相談したら、グラフィックボードの不良の可能性がありますね
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ja.verbmode.net is Expired or Suspended.
asdf-11
記事一覧 - idesaku blog
Rails 2.0