You want to learn scala. And you want to learn spark. And you've heard of SBT. Where do you start? There are alot of different idioms ...
Set up a spark application devleopment environment in Fedora
You want to learn scala. And you want to learn spark. And you've heard of SBT. Where do you start? There are alot of different idioms ...
スキーマ
2.8. スキーマ PostgreSQL データベースクラスタ (インストレーション) には、1 つ以上の名前付きデータベースが含まれます。 ユーザおよびユーザのグループはクラスタ全体で共有されますが、他のデータは複数のデータベース間で共有されません。 サーバに接続しているクライアントは、単一のデータベース、つまり接続要求で指定したデータベース内のデータにしかアクセスできません。 Note: クラスタのユーザは、クラスタ内のすべてのデータベースへのアクセス権限を持っているとは限りません。 ユーザ名を共有するということは、たとえば joe という同じユーザ名を持つ異なるユーザが同じクラスタ内の 2 つのデータベースに存在することはできないということです。しかし、joe が一部のデータベースにのみアクセスできるようにシステムを構成することはできます。 データベースには、1 つ以上の名前付きスキ
【図解】Scala 2.10 + IntelliJ IDEA 12 で｢Hello World｣する - Qiita
2. IntelliJ IDEA 12をインストール IntelliJ IDEA :: Download Latest Version of IntelliJ IDEAからCommunity Edition(無料)をダウンロードする。 IntelliJ IDEAを起動すると、設定情報をインポートするか聞かれる。ここでは、設定情報をインポートしないで進む: 起動中画面: 3. Scalaプラグインをインストールする 上メニューから ｢IntelliJ IDEA｣ > ｢Preferences｣ を開く: 検索窓に｢plugin｣と入力し、｢IDEA Settings｣の中から｢Plugins｣を開く。｢Browse repositories｣ボタンを押す: Scalaプラグインを選択し、ダウンロードをする: 確認が出るので、Yesを押す: ダウンロードが完了するまで待つ: ダウンロードが完了
tips for screen -- screenの覚書
GNU screenとは ひとつの端譁で、複数の仮想端譁を使うシステム。簡単切り替えができて、ひとつのターミナルで全てができるスグレモノ。CUI使いなら活用すべし。 使うには、おおまかにいって次の2つがあると思う。 プロンプトで 'screen' と打つ。 kterm -T kterm -e screen などとしておく(-Tを指定しないと、ウィンドウタイトルがscreenになって、個人的に気持ち悪い)。 個人的には、.xinitrcなどのファイルで呼び出すwindowとしてscreenを利用することを推奨。 GNU screenの使いかた GNU screenは、「コマンド文字」プラスなにかの文字でさまざまな機能を錫現できる。コマンド文字はデフォルトではC-aだが、.screenrc中でescape命令から設定できる。たとえば私は、 escape ^t^t としている。これはC
型安全性とは何か | POSTD
以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論
Javaだって関数型言語に負けないぐらい魅力的：オブジェクト指向だけで計算してみる - ようじょと結婚したい
HaskellやScalaなどで一躍大人気となった関数型言語には、その根底に型付きラムダ計算という計算体系の理論が存在しています。この型付きラムダ計算の理論のおかげで、関数型言語では型安全なプログラミングが出来るのです。 ではオブジェクト指向言語にはそのような理論は存在するのでしょうか。 Javaについては、割と最近ですが、Javaをモデル化した計算体系を扱った、 Featherweight Java: a minimal core calculus for Java and GJ [Igarashi et al., 2001] という論文が存在します。この論文では、JavaとJava 5.0以降で採用されたジェネリクスという仕組みをモデル化したオブジェクト指向の体系を定義し、この体系上での型安全性の証明を行っています。 この論文の体系では構造化定理で言う条件分岐と反復が定義されていません
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
