mkataoka73の投稿 - Crieit

Elixir学習日記3: Elixir、最初の一歩

2021-05-15T10:54:38+09:00

学んだこと

iexでElixirのREPL(Read-Eval Print Loop)に入れる。

Elixirにおいて変数に代入するというのは、名前に一時的に値を縛りつけること。（Binding）
Cのような手続き型の言語においては、変数に実体的な値が代入されている。これを破壊的代入という。
Elixirにおいてはそのような形ではなく、名前に値を参照させている。上の例では、nに1を参照させている。のであって、この場合、nに1が入っているという箱のイメージは実態とずれていることになるのかな？
「Elixirでは値はイミュータブル」という宣言があったけれど（書籍中）、これは値の再代入が不可能であるという意味ではないようす。上の例（画像）ではnに1を代入したあと2を代入してもエラーになっていない。
これこそは、上の、「変数に実質的な値を代入しているのではなく、参照先を指定しているだけ」ということの現れではないかな。と思った。
しかしその場合、データの2はどこに存在し続けているのだろう???????
2が空中にぽっかり浮いていて、その2を名前が随時参照する...ということかしら????? それはおかしい...気がする。....

関数、モジュール

引用。

コンピュータプログラミングにおいて、プログラムの断片をひとつのまとまりとしてとらえたものを一般に「サブルーチン」と呼びます。このサブルーチンを具体的にどう呼ぶかは言語によって異なります。RubyやJavaのようなオブジェクト指向言語ではメソッド（method）と呼ばれることが多いのですが（例外もあります）、Erlang、Haskell、Elixirのような関数型言語では関数（function）と呼ばれます。PHPのように関数とメソッドを使い分ける言語もあります。また、プロシージャ（procedure）という用語を用いる言語もあります（Pascalなど）。

Tsutomu Kuroda. Elixir/Phoenix Primer Volume 1 Third Edition: The first step (OIAX BOOKS) (Japanese Edition) (Kindle の位置No.723-727). Coregenik. Kindle 版.

気になったこと

JavaScriptはどこにはいるの???
サブルーチンっていう言葉の意味を初めて知った（ちゃんと見た）気がして嬉しい。
Rubyでも、Pythonでも「関数」っていう呼び名はある気がするけど、それは便宜上みたいなこと？
実際にはRubyでは全てがオブジェクトっていうのは見たことあって、それは例えば、 putsをいきなり書いたとしても、

puts('hello!')

これは実は何かしらのグローバルオブジェクトにメッセージを送っているという意味になるのだよ、ということをどこかで見た気がする。
実行時にその見えないグローバルオブジェクトに渡されているのだよ、と。
これはやっぱり、object orientedな言語においては、何らかのオブジェクトが常にいて、そいつにメッセージを送っているというのに対し、関数型言語ではそうではないということなのかしら。
methodという言葉は、「a particular form of procedure for accomplishing or approaching something, especially a systematic or established one」（New Oxford American Dictionary）なので、establised、つまりもともとすでに出来上がっているもの（オブジェクトに対し設定されているもの）という意味が強いと理解している。functionはそれではないので...ということか。
A function, or a method? That is the question...な感じ

Elixirのモジュールは名前空間です

引用2。

IOはモジュール(module)の名前です。Elixirのモジュールは関数の入れ物（名前空間）です。

Tsutomu Kuroda. Elixir/Phoenix Primer Volume 1 Third Edition: The first step (OIAX BOOKS) (Japanese Edition) (Kindle の位置No.729-730). Coregenik. Kindle 版.

名前空間ってそういう意味だったのかあ〜〜〜〜〜〜〜〜〜〜。

次のように関数の引数は括弧で囲まなくても構いません。

IO.puts n

しかし、原則として関数の引数は括弧で囲むことが推奨されています。
Tsutomu Kuroda. Elixir/Phoenix Primer Volume 1 Third Edition: The first step (OIAX BOOKS) (Japanese Edition) (Kindle の位置No.732-735). Coregenik. Kindle 版.

Rubyライクに括弧を省略していいことになっているけど、マナー的には囲うのが一般的だよ。と。

その他学んだこと

コメントは#で。(octothorpe, またのなを pound, hash, mesh, とも。）
行全体をコメントに。後ろにつければ行末のコメントはできるけど、複数行に跨がるコメントのシステムはElixirには存在しないとのこと。これも驚いた。
文末のセミコロンはつけてもいいけど、普通は付けずに1行1センテンスで書くよ、とのこと。

次回は4章、基本データ型。

だんだんプログラミングっぽくなってきて嬉しいじゃないの。

使っている本：Elixir/Phoenix 初級① 第3版: はじめの一歩 (OIAX BOOKS) 黒田努

Elixir学習日記3: OTPって何？

2021-05-14T11:54:29+09:00

Elixirについての学習日記です。今回はOTPという用語について整理してみたいと思います。

学んだこと

OTPって何？ということを理解するには、正しい文脈のなかに置くのがよさそう。言葉を単独で理解するより、それを適切な文脈のなかに置くことで、理解が進むということが多いと思います。

とはいえ、まずは著者の引用をみてみましょう。

OTPは“OpenTelecomPlatform”の略です。かつては電信電話サービスと関係があったので“telecom”という単語が含まれています。ひとことで言えば、OTPとはErlangの標準のツール類とライブラリ群の集合体です。Erlang業界の用語法では、Erlangは言語仕様そのものであり、OTPがなければ何もできません。OTPにはErlangのコンパイラやインタプリタも含まれます。

Tsutomu Kuroda. Elixir/Phoenix Primer Volume 1 Third Edition: The first step (OIAX BOOKS) (Japanese Edition) (Kindle の位置No.362-365). Coregenik. Kindle 版.

Open Telecom Platform (OTP) とは、Erlangの標準のツール群とライブラリ群の集合体、とありますね。

「OTPには、Erlangのコンパイラやインタプリタも含まれる」と書いてあるので、確かにそれがなければ何もできなさそうです。

ErlangとOTPの関係は、言語仕様と、それが動くための仕組み、と覚えておくといいのかもしれないですね。

Elixir学習日記2: ElixirとErlang

2021-05-13T12:14:26+09:00

Elixirの勉強を進めている。

学んだこと

Elixirのファイルの拡張子は.exs。
Atomなどのエディタで普通に書いて、ターミナルから実行できる。ただし、実行環境にはDockerが必要(?)
実行環境は、Dockerという仮想環境構築ソフトで用意する。
- Dockerというのは、仮想環境を用意してくれるアプリケーション。けっこう容量が大きい。
- たとえば、Macで開発しているのに、Windows上で動くか？とかいうのを試すことができる。
- JavaがJava Virtual Machineという仮想マシン上で動くように、Elixirは—内部的には—BEAMという仮想マシンの上で実行される。
  - 現代的なプログラム言語は、実はそれぞれに専用の仮想マシンを持っていることが多い。
  - 例えば、Rubyもそれ専用のバーチャルマシン（YARVという）の上で解釈され、実行されている。
- BEAMは、もともとはErlangというプログラミング言語のために開発された実行環境。
- ErlangとElixirは違う言語だけれど、ElixirのプログラムもBEAM上で実行可能。
- 似たような関係に、JavaとKotlinがある。言語は違うが、同じ環境の上で実行可能。
- .exsファイルを実行すると、BEAM上で実行できるバイトコードに変換され、BEAMが解釈することでプログラムが実行可能になる。
- このように、ElixirはErlangと深い関係にある。
- ElixirのコンパイラがErlangで開発されている。など。

Erlangについて

Erlangの発表は1986年（Java、Rubyは1995年）。
Erlangの名前の由来はスウェーデンの数学者Agner Erlangに由来。
最近では任天堂のゲーム開発にも導入されている様子。

Elixirを実行してみる

所感

elixir hello.excを実行してから'hello, world!'が表示されるまで、結構時間がかかる（1秒未満だけど0.7秒くらい？）ので、仮想マシンで実行しているのだな〜、コンパイルしているのだな〜という感じがする。

「メソッド」と「メッセージ」はどう違うのか

2021-05-09T12:25:16+09:00

要約

プログラミング基礎用語である「メッセージ」と「メソッド」の違いについて、書籍で説明している箇所を見つけたのでメモ。

「メソッド」と「メッセージ」

プログラミングで、foo.barの.barのことを、オブジェクトに対する「メソッド」と呼でいる文章と「メッセージ」と呼んでいる文章の2種類をときどき見かけます。どうして用語法が違うのだろう？

なぜ用語を二つに分けるのか

Why bother saying both “sending the message ‘to_i’” and “calling the method to_i”? Why have two ways of describing the same operation? Because they aren’t quite the same. Most of the time, you send a message to a receiving object, and the object executes the corresponding method. But sometimes, there is no corresponding method. You can put anything to the right of the dot, and there’s no guarantee that the receiver will have a method that matches the message you send.

The Well-Grounded Rubyist, Chapter 1.1.4 Method calls, messages, and Ruby objects

「メソッド」と「メッセージ」は厳密には同じではない

詳しくみます。

Why bother saying both “sending the message ‘to_i’” and “calling the method to_i”? Why have two ways of describing the same operation? Because they aren’t quite the same.

なぜに「メッセージを送る」とか「メソッドを呼ぶ」とか別の言い方、表現をするのか？それは、厳密にはその二つが同じじゃないからである。と言っています。

Most of the time, you send a message to a receiving object, and the object executes the corresponding method. But sometimes, there is no corresponding method. You can put anything to the right of the dot, and there’s no guarantee that the receiver will have a method that matches the message you send.

多くの場合、受信する側のオブジェクトに「メッセージ」を送ることで、そのメッセージを受信したオブジェクトが、対応するメソッドを実行する。

が、メッセージには（原理的に）なんでも書いていいので、受け取ったメッセージに対応するメソッドが存在しないという場合がある。

メソッドが存在するか否か

以下の例を考えます。

# Person.rb

class Person

  def initialize(name)
    @name = name
  end

  def greet
    puts "Hello! My name is #{@name}."
  end
end

bob = Person.new("Bob")

bob.greet # "Hello! My name is Bob."

この例の最後の行では、オブジェクトbobはメッセージgreetを受け取り、「了解っす！対応するメソッドを実行しまっす！」といって、自身に定義されているgreetメソッドをきちんと実行できました。

ここで、このbobくんにstand_upというメッセージを送ったとします。

# Person.rb

class Person

  def initialize(name)
    @name = name
  end

  def greet
    puts "Hello! My name is #{@name}."
  end
end

bob = Person.new("Bob")

bob.stand_up # NoMethodError

bob.stand_upを実行しようとすると、NoMethodErrorが発生します。これは、次のように解釈できるでしょう。

オブジェクト（インスタンス）として生成されたbobはメッセージを受け取ることができる。
bobはstand_upというメッセージを受け取り、実行しようとする。すなわち、stand_upという名前のデータにアクセスしようとする。
自分のアクセスできるデータのなかにstand_upは見つからなかったので、NoMethodErrorを返す。

擬人化するならば、このように言えるでしょうか。bob君としては、「先輩！stand_upしろっていわれたのでやろうとしましたが、自分はそのやり方を知らなかったみたいす！」。

以上をまとめると、メッセージとメソッドの違いについては、次のようにまとめることができます。

メッセージ：オブジェクトに対する指示。対象のオブジェクトが、その指示を実行できるかどうかはわからない。
メソッド：オブジェクトが持っている関数。

『統計学を哲学する』読書ノート連載

2021-05-05T12:10:53+09:00

Python学習の一環として、『統計学を哲学する』という本を買いました。

本書はその名の通り、「統計学を哲学する」ための本である。〔...〕その目論見を一言で表すとしたら、「データサイエンティストのための哲学入門、かつ哲学者のためのデータサイエンス入門」である。ここで「データサイエンス」とは、〔...〕データに基づいて推論や判断を行う科学的／実践的活動全般を意図している。しかしそのような経験的かつ実務的な学問が、机上の空論の代名詞とみなされているような哲学といかにして関係するのか。〔...〕

統計学を学ぶ理由

発売当初からなんとなく気になっていたのですが、Pythonプログラミングを学ぶにあたって、ふたたび興味が出てきました。

個人的になのですが、2021年にPythonをやるということは、機械学習・AI・深層学習（Deep Learning）を学ぶとほとんど同義なのでは？と思っているのですが、流行りのものをやりたい、理解したい、というのも大きな動機です。

自分は出身が文学部で、大学のときそれなりに時間を使って人文系（哲学）の本を読んできたので、その辺りからならむしろとっつきやすいかな？とか思ったりしたこともあります。

仕事に関連するところでは、Pythonを使って、英語や日本語の文章のテーマ分析や、出現単語頻度の分析をしてみたいというのが前からあって、自然言語処理という分野になるのかなと思い、前に一度チュートリアル書を買ってみたのですが、Pythonの文法が分からなくて前に進めなくなった、という経緯があります。そこで、

Pythonの文法をしっかり理解する
AI, 機械学習, Deep Learning, 強化学習...etc というAI周りの用語・概念を正確に理解する
自然言語処理についての概念を押さえる
必要な数学的な知識を習得する

この四つをきちんと同時に押さえ、やれることを理解したい、適切に開発ができるようになりたい。

書いてみるとやること多いなーと圧倒されそうになるのですが、頑張ってみたいと思います。

どのように進めるか

自分でやるのだからペースの宣言などはいらなそうなものですが、ひとりでやるからこそ、最初にある程度目標みたいなものを宣言しておかないとやる気がなくなりそうなので、進め方を宣言しておきたいと思います。

基本的に、買っては読み飽き...を繰り返す人間なので、こういうチャレンジな本を読み切るときの習慣みたいなものも確立していきたい。

ページ数は229が全体の結びにかえてのページになっているので、そこまでの大著ではなく一人で読み切れる範囲の本。（おそらく）

章立てを転載するとこんな感じ。

序　章　統計学を哲学する？
1　本書のねらい
2　本書の構成

第1章　現代統計学のパラダイム
1　記述統計
2　推測統計

第2章　ベイズ統計
1　ベイズ統計の意味論
2　ベイズ推定
3　ベイズ統計の哲学的側面

第3章　古典統計
1　頻度主義の意味論
2　検定の考え方
3　古典統計の哲学的側面

第4章　モデル選択と深層学習
1　最尤法とモデル適合
2　モデル選択
3　深層学習
4　深層学習の哲学的含意

第5章　因果推論
1　規則説と回帰分析
2　反事実条件アプローチ
3　構造的因果モデル
4　統計的因果推論の哲学的含意

終　章　統計学の存在論・意味論・認識論
1　統計学の存在論
2　統計学の意味論
3　統計学の認識論
4　結びにかえて

理想的には1ヶ月...とかと言いたいところだけど、言語（Python）の方の習得も同時にやるつもりなので、どんなに早くても3ヶ月、長ければ半年くらいかな。と思っています。

で、1週間で1部（章の下のまとまり）を目安に、読んで思ったこと、まとめようと思ったことをここに書いていく...というような形を想定しています。

同時進行で、個人的に知り合いの人とやっているオンライン読書会があるので、そちらともリンクさせて発表できるのが理想...だけど、欲張りは禁物かな。スライドつくるとかいうと、訳わからんくなりそうだし。

いま5月1日現在で、序章は読み終わっているので、とりあえずそこをまとめるのが目標。

1章から、わりと数式とかが出てきて慣れていないわたしはやはり挫折しそうになるので、前に進むために理解を言語化していくというのがこのノートの役割になると思っています。

質問を受け付けています

せっかくオンラインに公開するので、質問とか受け付けられたらいいかなーとも思っています。
投稿に関する不明確なところとか、気になるところとか、あったら何でも聞いてもらえたらと思います。ちゃんと答えられる保証はないですが、いただいた感想とか質問があったら、記事の中で応答したり、コメントにレスする形で答えられたらと思っています。

お付き合いいただければ幸いです。

type()関数で型のチェック

2021-05-04T19:55:55+09:00

JSのtypeof演算子や、Rubyの.classメソッド(※)のように、あるデータの型？クラス？を調べたいときは、Pythonでは type() 関数を使う。

※ Rubyの.classメソッド:
Rubyでは引数を囲う()を省略することができ、引数がない場合は省略するのが一般的なので、.classメソッド と書いています。JSやPythonに慣れているとプロパティの誤記かな？と思われるかもしれません。実際、括弧を省略したメソッドと純粋なプロパティとの間にどんな差異があるか自分自身わかっていないのですが、公式にもメソッドとして記載があるので、メソッドと表記しました。

# Python 3.6.5 Repl
>>> type(23)


>>> type('hoge')


>>> type(True)

type()関数の返り値のtypeはtypeになるみたい。

>>> type(type(23))

mkataoka73の投稿 - Crieit

Elixir学習日記3: Elixir、最初の一歩

背景

学んだこと

関数、モジュール

気になったこと

Elixirのモジュールは名前空間です

その他学んだこと

Elixir学習日記3: OTPって何？

背景

学んだこと

Elixir学習日記2: ElixirとErlang

学んだこと

Erlangについて

Elixirを実行してみる

hello, world!

所感

次は?

「メソッド」と「メッセージ」はどう違うのか

要約

「メソッド」と「メッセージ」

なぜ用語を二つに分けるのか

「メソッド」と「メッセージ」は厳密には同じではない

メソッドが存在するか否か

『統計学を哲学する』読書ノート連載

統計学を学ぶ理由

どのように進めるか

質問を受け付けています

type()関数で型のチェック