ja.verbmode.net is Expired or Suspended.「 ja.verbmode.net 」のページは、ドメインが無効な状態です。 ウェブサイト管理者の方はこちらから変更・更新を行ってください。 「 ja.verbmode.net 」is Expired or Suspended. The WHOIS is here.
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
java使いのためのScala の勉強のタメの資料作り 環境 - nazokingのブログ
eclipse万歳！ということでscala+eclipseで初めてみる。社内でscalaを広めるために勉強会をするための準備だから、java使いの視点から書く。とりあえずゴールは「scalaでプロジェクトやってみよう」と大人の力を持った誰かに言わせること。だから 簡単に始められるように javaと連携出来る点を強調。javaのコードにscalaを混ぜても安全！ javaのアンナ問題やこんな問題が解決することを、さりげなく という勉強会用パワポ（のようなもの）が最終出力の予定。 用意する物 java実行環境 1.6って書いてあるけど。僕は1.6が入ってた eclipse http://www.eclipse.org/downloads/ どれでもいいんじゃないかなぁ 一番小さそうなjava developmentのやつにした scala-eclipseプラグイン http://www.sca
artima - First Steps to Scala
In this article, you'll follow twelve steps that are designed to help you understand and gain some basic skills in the Scala programming language. Scala is a statically typed, object-oriented programming language that blends imperative and functional programming styles. Scala is designed to integrate easily with applications that run on modern virtual machines, primarily the Java virtual machine (
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
