このウェブサイトは、ダムへの理解や防災の啓発、水源域の活性化等を目的に、 国土交通省水管理・国土保全局が設置・運営しています。詳しくはこちら > サイト内コンテンツについては、今後も引き続き充実させていきます。
ダムコレクション
このウェブサイトは、ダムへの理解や防災の啓発、水源域の活性化等を目的に、 国土交通省水管理・国土保全局が設置・運営しています。詳しくはこちら > サイト内コンテンツについては、今後も引き続き充実させていきます。
はてブできない「不正なURLです」「現在、このドメインは登録できません」原因は，そのサイト管理者の自作自演がバレてアカウント停止されたため，らしい - モバイル通信とIT技術をコツコツ勉強するブログ
ある日，普通のサイトをブックマークしようとしたら， 「不正なURLです」 「現在、このドメインは登録できません」 と表示され，ソーシャルブックマークができない。 はてなブックマークを拒否される。 原因は，そのサイトの作成者・管理人が，自作自演で複数アカウントでセルクマしまくったから。 自演でホッテントリ入りを狙ってブクマしまくると，はてな運営側から通知が来て，アカウントを停止される。 しかも，ブクマしまくったサイト自体は，だれもブクマできなくなる。 はてブのアカウントだけでなく，サイトのはてブ入りもシャットアウトされるのだ。 はてなブックマークのアカウントの停止のされ方とその対処方法 | アフィリエイトで稼ぐ情報商材レビューブログ http://affiliateyota.jp/access/0031/ 「はてなアカウントを停止されただけじゃなくて 自作自演でブックマークしまくっていたサイ
ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
Emacsでファイルの自動保存 (auto-save-buffers)
うっかりファイルの保存を忘れていたために、OSやアプリケーショ ンが突然落ちて何時間もの作業を失ったという経験のある人は多い。 うっかりと書いたが、これはうっかりしていた人間が悪いというよ り、作業内容を失ってしまう計算機の方が悪い話である。 こうした「ファイルの保存し忘れ問題」に備える現実的な対策は、 ファイルの保存をこまめに行う、という方法である。実際、多くの 人がこれを行っている。なんだかおかしな話だ。 Emacs にはバックアップを自動保存する機能が備わっているが、 いざというときに復元の仕方がよくわからない。 M-x recove-file して復元するファイル名を指定する。 バックアップファイルが残っているときにファイルを開くと M-x recover-file せよ、と説明がでるけど、 再度ファイル名を指定し直さないといけないのは不便 (このととき RET を押だけでもいいけ
Emacs Zshなどを設定した話 - Money Forward Developers Blog
先月中途で入社した卜部です。 中途入社したタイミングでちょうどよいので環境設定を見直していました。 たぶん全部捨てて書き直したのは8年ぶりくらいでした。 今回の感想を忘れないうちに書いておきます。 Emacs Emacsを使い続けている理由はauto-save-buffersです。これと同じような機能を提供しているエディタは(RubyMineとかなくもないが)とても少なく、移行先として選択肢があまりありません。Atomのautosaveはどうやら求めているものと違うようですし。 auto-save-buffersで救われたファイルは数知れず、というか保存とかいう前世紀の遺物を計算資源に下請けさせることで考えることが減るので、本当は他のエディタにも是非あるべき機能です。下にzshでpredict-onの話も書いてありますが、自分は0クリック革命をわりと実践している派だと思います。 パッケージ
mwc-random
mwc-random: Fast, high quality pseudo random number generation This package contains code for generating high quality random numbers that follow either a uniform or normal distribution. The generated numbers are suitable for use in statistical applications. The uniform PRNG uses Marsaglia's MWC256 (also known as MWC8222) multiply-with-carry generator, which has a period of 2^8222 and fares well in
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最近、妹がグレブナー基底に興味を持ち始めたのだが。（グレブナー基底大好きbot） - カクヨム