http://w.atwiki.jp/mamonbo/ mamonbo @ ウィキ ja 2014-09-24T20:41:37+09:00 1411558897 https://w.atwiki.jp/mamonbo/pages/25.html ==等しいかとその他の比較== (前回の復習) 前回の章で、Haskellで等号を変数や関数を定義するのに使う方法を見てきた。 例えば、以下のコード <blockquote> r = 5 </blockquote> で定義のスコープに沿って置き換わって意味の通じるところ全てで<tt>5</tt>に置き換わる <tt>r</tt>が現れる。また、 <blockquote> f x = x + 3 </blockquote> で数字が1つ後に続き(<tt>f</tt>の引数として取る)、その数に3を足すのに置き換わる <tt>f</tt>が現れる。 (復習おわり) しかし、数学では、等号は微妙に違っていて、同様に重要な意味でも使われる。 例えば、この問題について考える: {| |valign="top" style="border-right: 1px dashed SlateBlue"| <b>例題:</b>次の方程式を解きなさい: <math>x+3=5</math> |} このような問題を見たとき、<math>5</math>が<math>x+3</math>の代わりになるとか、 その逆にすぐに関心を持つわけでない。代わりに、方程式<math>x+3=5</math>を ''命題''、と理解し、ある数<math>x</math>が3足すと結果として5となるという意味となる。 「方程式を解く」とは命題が真となるような<math>x</math>の値を、存在するのならば、 見つけ出すということである。この例題では、初等代数学を用いれば、等式を<math>x=5-3</math>,<math>x=2</math>と変形し、目的の解を求めることが出来る。 また、解が等式を成立させることは元の等式に<math>x=2</math>を代入することで 確認できる。例題では<math>2+3=5</math>という明らかに真である結果になる。 (注:最新版が壊れていたのでここの部分に関しては旧版から持ってきた) 等しいかどうかを見るために値を比較することはプログラミングにおいても便利である。 Haskellではそのような比較をちょうど方程式のように見える自然な方法で書くことが出来る。 等号は 2014-09-24T20:41:37+09:00 1411558897 https://w.atwiki.jp/mamonbo/pages/24.html 初回購入特典は 2007で00の部分がメガネになっているやつ プチプチした後のプチプチ 偽造1円玉 HDDVDプレイヤー 嘘です。 2014-09-05T11:45:03+09:00 1409885103 https://w.atwiki.jp/mamonbo/pages/23.html #ref(tri.png) 製作者:Mamonbo ライセンス:パブリックドメイン(頭使わなくてもこんなもの作れるため) 2014-08-21T15:45:51+09:00 1408603551 https://w.atwiki.jp/mamonbo/pages/22.html [[Wikibooks:Haskell勝手に日本語訳]]へ 2014-08-15T13:16:19+09:00 1408076179 https://w.atwiki.jp/mamonbo/pages/21.html この章ではHaskellでコードを書くときに必要となるプログラムのインストール方法について説明する。 ==Haskellのインストール== Haskellは''プログラミング言語''、人が計算機がどう振る舞うべきかをを表せる言語である。 料理のレシピを書くような感じで、あなたがレシピを書いて計算機がレシピを実行してくれる。 Haskellのプログラムを使うためには、Haskell''コンパイラ''と呼ばれる特別なプログラムが必要である。コンパイラはHaskellで書かれたコードを受け取って計算機が理解出来るより原始的な言語である''機械語''に翻訳する。 (機械が理解出来るのが機械語で、(設計さえやれば)バイナリである必要は無くBrainf*ckでも機械語になりうる　という話も) 上の料理の例えを使えば、あなたがレシピなるHaskellプログラムを書いて、料理人にあたるコンパイラプログラムが実際の材料を合わせて食べられる料理にあたる実行可能ファイルを作る作業をするのである。もちろん、完成した料理から簡単にはレシピを知ることは出来ない、つまり コンパイル後は実行可能ファイルからHaskellのコードを知ることが出来ない。 Haskell学習を始めるために'''[http://hackage.haskell.org/platform/ Haskellプラットフォーム]をダウンロードしインストールする'''。中には"Glasgow Haskell Compiler"略してGHCと他の必要なものすべてが入っているだろう。 もしただHaskellを試してみたいとか完全なコンパイラをダウンロード、インストールするのが 嫌なら[http://www.haskell.org/hugs/ Hugs]が使える。もしくはオンライン管理のインタプリタである[http://www.tryhaskell.org/ TryHaskell]で遊んでみるのもいいかもしれない。 なお、この本での説明ではすべてGHC用になる。 ([http://ideone.com/ Ideone]でもオンラインで実行できる) {| |valign="top" style="border-right: 1px dashed SlateBlue"| 補足 2014-08-19T21:09:03+09:00 1408450143 https://w.atwiki.jp/mamonbo/pages/20.html //haskell ghci> 3.1416 * 5^2 78.53999999999999 2014-08-13T18:20:56+09:00 1407921656 https://w.atwiki.jp/mamonbo/pages/19.html ==サンドボックス!== {|width="100%" |valign="top"| ひょう |} 2014-08-13T18:14:11+09:00 1407921251 https://w.atwiki.jp/mamonbo/pages/18.html ''この章に出てくるすべての例はHaskellのソースファイルに入力しGHCないしHugsに読み込ませることで評価することができる。入力の頭の"Prelude>"のプロンプトは含めないこと。プロンプトが出ているときは、GHCiといった環境にコードを入力してよい。そうでない時は、コードをファイルに入れて実行すること。'' (斜体にするのは英字だけみたい。そしてEnter入ると切れるみたい。) ==変数== GHCiを電卓として使う方法はもう見た。もちろん、この方法は短い計算に取ってのみ実用的である。より長い計算やHaskellのプログラムを書くのには中間結果を追跡したい。 中間結果は''変数''に格納でき、名前で呼び出すことができる。1つの変数には1つの''値''が入っていて、変数が使われた時に変数名が値に代わる。例えば、以下に示すような計算である。 ghci> 3.1416 * 5^2 78.53999999999999 これは円の面積公式<math>A = \pi r^2</math>による半径<code>5</code>の円のおよその面積である。<math>\pi (\approx 3.1416)</math>の数桁打つのも、この数桁をきっかり覚えるのさえも面倒臭い。実際、プログラミングの重要な気の持ちようの1つは我々の頭が思う存分より面白い考えを扱うようにするために、非思考的な繰り返しや丸暗記を機械に任せることだ。今回の場合なら、Haskellはすでに10桁以上の<math>\pi</math>を格納している<code>pi</code>という変数が入っている。 ghci> pi 3.141592653589793 ghci> pi * 5^2 78.53981633974483 注意:変数<code>pi</code>とそれが持っている値<code>3.141592653589793</code>は計算上では相互交換可能に使われうる。 (後ろに9が続くのは10進数で有限小数でも2進数では無限小数なために精度落ちするため。 ちなみに私は3.14159265358979323846264338327950288419716939937510まで覚えている) ==Haskellのソースファイ 2014-08-21T15:54:43+09:00 1408604083 https://w.atwiki.jp/mamonbo/pages/17.html @wikiでのwikipedia like modeでは画像の挿入は検討中とのこと ちなみにこのページは@wiki mode #ref(Haskell-logo.png) ライセンス:パブリックドメイン 2014-08-21T15:21:36+09:00 1408602096 https://w.atwiki.jp/mamonbo/pages/16.html [[Haskell-logo.png]] このページは[http://en.wikibooks.org/wiki/Haskell WikibooksのHaskellのページ(英語版)]の日本語訳である。 なぜ日本語版に上げないのかというと、書き言葉で訳せる気がしないということと、 私自身がHaskell初心者でこれを書きながら学ぼうと思っているからである。 元がクリエイティブ・コモンズ 表示 - 継承 3.0(CC BY-SA 3.0)なので、これもCC BY-SA 3.0 となります。 '''Haskell'''は[http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E5%9E%8B%E8%A8%80%E8%AA%9E 関数型言語]である。もしプログラミングの経験があるのなら、 [[Haskell/概要|概要]]を見て、Haskellがどのように動くのかをいくらか見、他の言語とどう違うかを見てみよう。 Haskellは幾らかの点に置いて他と異なっている: *Haskellは''純粋''関数型言語である。もし同じ関数を同じ引数で2回違うところで呼び出すと、2回とも全く同じ値を返す。([http://ja.wikipedia.org/wiki/%E5%8F%82%E7%85%A7%E9%80%8F%E9%81%8E%E6%80%A7 参照透過性]という) *Haskellはtypeclassやgeneralized algebraic data typesと言った(それぞれ型クラス、一般代数データ型といったところか)洗練された特徴を持つモダンな型付けシステムを提供する。(このような用語はすぐに滑らかに口から出るようになる) *Haskellは''遅延型''つまり最終的な結果を得るために必要なときだけ計算をする言語でもある。 (modernをカタカナで訳すのはコンピュータ界隈ではよくある話。対義語の古いって言ってもだいたい20世紀だったりするからかと) 純粋な関数だけを取り扱ってコードをずっと簡単に理解し、それぞれの関数の正しさを解析し、証明しさえするのが簡単になるからHaskellプログラマはHaskellを享受するのである。その上、先進的な型システムが馬鹿げた間違い、真面目な間 2014-09-18T13:54:14+09:00 1411016054