コタのプログラミング教室

Dell Inspiron 1525 に Ubuntu 15.04 をインストールしました． インストールの直後に行った設定を列挙します． 無線LANの接続 無線LANがつながっていませんでした． lspci で調べてみると $ lspci | grep 802 0b:00.0 Network controller: Broadcom Corporation BCM4321 802.11a/b/g/n (rev 03) ドライバは読み込んでいるようですが，ifconfig では認識していません． firmware-b43-installer パッケージをインストールしたら ifconfig で認識するようになりました． $ sudo apt-get install firmware-b43-installer あとは，画面右上にある無線LANの設定から Wifi ネットワークに接続するだけです． mozc をインストール デフォルトの IM は Anthy． Anthy に慣れようと思ったのですが，日本語入力モードで半角スペースを入力できなさそうだったので，これまでと同じ mozc をインストールします． $ sudo apt-get install fcitx-mozc でインストールは完了． ただ，インストール後に設定しないと変更されないようです． 「システム設定」→ 「言語サポート」を開き，「キーボード入力に使うIMシステム:」を fcitx に変更してから再ログインすれば mozc に切り替わります． ここ を参考にどうぞ． ゲストセッションを消す ログイン時に表示されている「ゲストセッション」を消します． $ sudo vi /usr/share/lightdm/lightdm.conf.d/50-ubuntu.conf で以下の一行を追加します． allow-guest=false 再起動すれば消えます． ランチャーからシャットダウンさせる  右上の歯車からシャットダウンさせるのが手間なら Power commands を試すといいかもしれません． 以下の手順でインストールします． $ sudo add-apt-repositor...

Ubuntu が systemd になったと聞いたので，興味本位でパソコンに Ubuntu 15.04 をインストールしてみました． まだ起動させたぐらいですが，7年前のパソコン（SSD換装済み）とは思えないほど快適です． インストール Windows 上で Ubuntu のページ の「Get Ubuntu Desktop」よりインストール用 DVD のイメージ（ubuntu-15.04-desktop-amd64.iso）をダウンロードします． うちのパソコンは Core2Duo なので 64 bit 版をダウンロードしました． ダウンロードした DVD イメージを DVD に焼きます． 焼いた DVD を CD-ROM ドライブに入れ，再起動します． 自動で CD-ROM ドライブから起動出来ないので， BIOS 画面で F12 を連打します． これはパソコンによって操作が異なりますから，調べてみてください． とにかく，CD-ROM ドライブから起動させてください． あとは画面に現れる指示にしたがってインストールするだけです． もともと Windows と Arch Linux のデュアルブートだったので， Arch Linux のパーティションを消して， Ubuntu をインストールしました． Windows と Ubuntu がデュアルブートになるようなパーティションの分け方については，ウェブ上にたくさん情報があります． Arch Linux と比べると，インストールは非常に簡単でした． インストール後の設定 まだインストールしただけですが，真っ先にしたのは，CapsLock を Ctrl に置き換えることです． ターミナルで Ctrl-A （行の一番左に移動）が使えないと不便なので・・・ /etc/default/keyboard を以下のようにして編集します． $ sudo vi /etc/default/keyboard もともとは XKBOPTIONS="" となっていますが，以下のようにすると CapsLock が Ctrl になります． （ctrl:swapcaps にすると CapsLock と Ctrl が入れ替わります） XKBOP...

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$と$.$の間には入力の変数を１つ書くことができます． ...

今回は最初に開発する例題として最も有名な Hello World の Android アプリを開発して実機で動作させてみます． （プログラムは1行も書きません！） Android アプリの開発の流れがつかめたらいいなぐらいの感覚です． Android Studio のインストール方法は こちら ． 開発環境： Ubuntu 14.04 LTS Android Studio 1.2.0 JDK 1.7.0 実機： Zenfone 5 (Android 4.4.2 KitKat) HelloWorld アプリの開発の流れ： プロジェクトの新規作成 仮想デバイス上での実行 実機での実行 準備   Zenfone 5 が Android 4.4.2 ですので，API 19 をインストールします． 以下の画面の Configure を選択します． 次に SDK Manager を選択します． SDK Manager が起動しますので，Android 4.4.2 (API 19) にチェックを入れ，Install ボタンを押せば，必要な SDK がインストールされます． プロジェクトの新規作成  Android アプリの開発には多くのファイルを必要とします．Java プログラムを書くファイルや，GUI の構成を書く XML ファイル，コンパイルのルールを書くファイルなどです．これらの集まりのことを プロジェクト と呼びます．プロジェクトの中にはアプリを開発するために必要なファイルがいろいろ入っていると理解すればいいと思います． ただ，すべてのファイルを自分で作る必要はありません．最低限必要なファイルは Android Studio がルールに沿ってある程度自動生成してくれます．テンプレートのようなものを用意してくれます．ですので，Android Studio の機能を使ってプロジェクトを作りましょう． プロジェクトの新規作成は，以下の画面で「Start a new Android Studio project」をクリックすることから始めます． プロジェクトの新規作成では， Application name:  HelloWorld Comp...

Android Studio のインストール方法は こちら Android Studio をインストールしたので，手始めに Hello World アプリを作成しようと試みました．ウェブ上で検索すると，Hello World アプリの作成方法は山のようにヒットします．その通りに作業を進めていくと， Rendering Problems No render target is selected. というメッセージが表示されるだけで，肝心の Android スマホが表示されません．ウェブ上では，様々な対応策がありましたが，どれを試してもうまくいきませんでした． イジメか？ 問題を整理します． AVD は作成済みですが，プルダウンメニューからは選択不可 Android version を選択できるプルダウンメニューが null プロジェクトの新規作成時に Minimum SDK を API 19 に設定 SDK に API 22 と API 19 はフルにインストール済み Ubuntu 14.04 LTS 上の Android Studio 1.1.0 という状況でした． 結論から言うと， 「プロジェクトの新規作成時に Minimum SDK を API 15 に設定すれば問題が起きない」 でした．API 14 でも問題が起きません．でも，API 19 の場合は問題が生じます． トラップか！ プロジェクトの新規作成後に設定変更で修正可能か試行錯誤しましたが，改善できませんでした．新規作成時にミスると，今のところ，問題を解決できません．   ご参考までに．

Ubuntu 14.04 LTS 上にアンドロイドアプリの開発環境（Android Studio）をインストールできました．インストール手順は以下のとおりです． ダウンロード Android Studio と JDK 7 のインストールが必要です．それぞれをダウンロードします． Android Studio 1.1.0 Java SE (JDK) 7u80 Android Studioは最新版（1.1.0）でいいのですが，JDK はバージョン7がいいようです．現時点ではAndroidがJava 8に未対応です．ただ，Java 7は今後アップデートされないようですし，Java 8が主流になるかもしれませんから，Android Studioの「System requirements」を見て判断するのがいいと思います． インストール まずは JDK 7 を /home/cota/local 以下にインストールします．インストール先は，適宜，自身の環境に合わせて変更してください． $ tar xfz jdk-7u80-linux-x64.tar.gz -C /home/cota/local 次は Android Studio を /home/cota/local 以下にインストールします．これも，インストール先は自身の環境に合わせて変更してください． unzip コマンドを使用しますが，インストールされていない場合は sudo apt-get install unzip でインストールしてください． $ unzip android-studio-ide-135.1740770-linux.zip -d /home/cota/local 設定 ~/.bashrc を編集して， javac へのパスを通します． $ cd ~ $ cat .bashrc | grep PATH export PATH=~/local/bin:$PATH $ vi .bashrc $ cat .bashrc | grep PATH export PATH=~/local/jdk1.7.0_80/bin:~/local/bin:$PATH $ . .bashrc $ javac -version javac 1.7....

Haskell のプログラミング環境を Arch Linux 上に整備します． Haskell のプログラムを実行するには，開発環境が必要となります．Haskell 用の開発環境にはいろいろありますが，今回は ghc をインストールします． Haskell のプログラムは Emacs で書くことにします．Eemacs のインストール方法は パソコンの Arch Linux に Emacs をインストール が参考になるかもしれません． haskell-mode という Emacs の補助ツールが非常に便利ですので，これもインストールします． ghc のインストール ghc の現在の最新版は 7.8.4 です．pacman で簡単にインストールできます． $ sudo pacman -S ghc インストールがうまくいっていれば，以下のコマンドでバージョンが分かります． $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.8.4 haskell-mode のインストール haskell-mode の現在の最新版は 13.10 です．haskell-mode も pacman で簡単にインストールできます． $ sudo pacman -S emacs-haskell-mode ただ，Emacs で haskell-mode を利用するためには若干の設定が必要です． .emacs.d/init.el に以下の6行を追加します． (add-to-list 'load-path "/usr/share/emacs/site-lisp/haskell-mode/") (load "haskell-mode-autoloads.el") (add-hook 'haskell-mode-hook 'turn-on-haskell-simple-indent) (add-hook 'haskell-mode-hook 'turn-on-haskell-indent) (add-hook 'haskell-mode-hook 'tur...