blogspot.jp へのアクセスが復活

-
週末，ブログを見ようとしたら，アクセスできなかった．
blogspot.com.au などではアクセスできたけど，blogspot.jp はダメだった．
11月8日未明から障害が起きていたらしい．
原因は今のところ不明だけど，復帰してよかった．

ではでは．

コメント

コメントを投稿

このブログの人気の投稿

第1回 ラムダ抽象と関数適用

-
イメージ
Arch Linux 上に ghc をインストールする方法は こちら ． Haskell は関数型言語の一種で，関数計算の連鎖でプログラムが動きます． C 言語などにも関数はありますが，Haskell の関数はより数学的です． まずは関数とは何かを説明します． 関数 Haskell において，関数は「 値を変換するもの 」です． 例えば，次のような，入力に$1$を加えて返す関数$f$を考えます． $$   f(x) = x + 1 $$ $x$が$1$だと$2$になります（$f(1) = 2$）． 関数$f$と$1$がくっつくと，$2$になってしまうのです． $x = 2$の場合，$f(2) = 3$ですし，$x = 3$の場合は$f(3) = 4$になります． つまり，関数というのは，定義という名のルールに従って，入力を出力に変換しているのです． では，C言語の関数と何が違うのでしょうか？ Haskell の関数は，基本的に，同じ入力の時は同じ出力にならなければなりません． 上の関数$f$を見ると，どんな時でも同じ入力の時に同じ出力になります． ところが，C言語の場合は同じ入力でも簡単に違う出力にできてしまいます． 入力が void 型（つまり入力なし）の時でも自由自在に出力を変えることができます． 逆に，入力だけ見ても出力を決めることができないということもできます． Haskellの関数の基本は入力だけを見て出力が決まるという特徴があるので，「値を変換するもの」と見えるのです． ラムダ抽象 「関数＝値を変換するもの」という考え方を発展させたものがラムダ抽象です． 中学や高校の数学において，関数というのは必ず名前がありました． 関数は値を変換してくれればいいだけなのに，必ず名前を決めてあげないと定義できません． これをラムダ計算（lambda calculus）では，「 入力をもらうと計算した結果を返すもの 」を定義できるようにしました． 例えば，入力が$x$なら，$x + 1$を返す関数を $$   \lambda x . x + 1 $$ と書くことにしたのです． 最初の$\lambda$と$.$の間には入力の変数を１つ書くことができます． また，$.$の後
Read more »

パソコンの Arch Linux に Emacs をインストール

-
イメージ
UNIX 系の定番エディタは Emacs．Vi は軽量で，設定変更などのちょっとした修正の時には重宝するが，ガッツリ文章を書いたり，プログラムを書く時などは Emacs の方が便利だ．mozc もインストールしたし，Emacs で日本語の文章が書けるようにする． Emacs のインストール 何も難しくはない．pacman で emacs をインストールするだけ． $ sudo pacman -S emacs $ emacs --version GNU Emacs 24.3.1 Copyright (C) 2013 Free Software Foundation, Inc. GNU Emacs comes with ABSOLUTELY NO WARRANTY. You may redistribute copies of Emacs under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING. emacs 24.3.1 がインストールされた． emacs-mozc のインストール Emacs で Mozc を使うには emacs-mozc をインストールする必要がある． $ sudo pacman -S emacs-mozc Emacs の設定 Emacs の設定は自由度が高く，また Emacs Lisp と呼ばれるプログラミング言語で記述しなければならないので，非常に難解．さらに，バージョンごとに微妙に記述方法が変わったりするので厄介．とりあえず，次の画像が Emacs を起動した直後のウィンドウ．ちなみに，この画像は shutter というツールを使って撮った．pacman で容易にインストール可能． Emacs の設定は ~/.emacs.d/init.el に記述する．Emacs で Mozc を使えるようにするのも ~/.emacs.d/init.el に設定を書く．上の画像をよく見ると，File や Edit などのメニュー，保存ボタンなどのツールバー，GUI 上で画面をスクロールするためのスクロ
Read more »

パソコンの Arch Linux に Chrome をインストール

-
イメージ
今回は Arch Linux にウェブブラウザをインストール．せっかく GUI が使えるようになったんだから，Arch Linux 上でブログを更新したい． まだ GUI を導入していない場合， LXDE のインストール方法 が参考になるかも． Chrome のインストール ウェブブラウザとして，Chrome をインストールすることにした．Chromium は Chrome をベースとしたオープンソース版．pacman でインストールできるところが強み．ただ，Adobe Flash Player に対応していない．Chromium で Flash Player を使おうとすると，結局，Chrome をインストールすることになる．別に Flash Player が使いたいわけではないが，Windows 上の Chrome との互換性なども考慮して Chrome をインストールする． $ yaourt -S google-chrome 特に難しいことは何もない． 日本語入力 Chrome をインストールしただけでは日本語を入力できない．日本語を入力する方法にはいくつかあり，どれを選べばいいのか悩むところ．というか，Fcitx だの Ibus だの Mozc だの Anthy だの何なんだこれ． いろいろ調べて分かったことは，日本語入力を実現するためには，アプリごとの日本語入力を共通化してくれる「インプットメソッドフレームワーク」と実際に漢字変換を行う「インプットメソッド」を何にするかを決めなければならないということ． Fcitx，Ibus，Uim がインプットメソッドフレームワークと呼ばれ，Mozc，Anthy，ATOK がインプットメソッドと呼ばれる．漢字変換の賢さはインプットメソッドの性能に依存し，漢字変換の使い勝手はインプットメソッドフレームワークに依存する． 今回はインプットメソッドフレームワークとして Uim，インプットメソッドとして Mozc を採用する． Mozc のインストールでは Mozc を配布している非公式リポジトリを使うので， /etc/pacman.conf に以下の３行を追加して，パッケージデーターベースを更新する． $ sudo vi /etc/pacman.conf [pnsf
Read more »