2021-08-01から1ヶ月間の記事一覧

Haskell入門(標準モジュール)

Data.Listモジュール リストから重複する要素を取り除いた長さ import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub*Main> numUniques [1,1,2,2,3,1] 3 *Main> nub [1,1,2,2,3,1] [1,2,3]Data.Listモジュールのインポート Prelu…

Haskellでコラッツ数列を生成する

collatz_chain :: Integer -> [Integer] collatz_chain 1 = [1] collatz_chain n | even n = n : collatz_chain (div n 2) | odd n = n : collatz_chain (n * 3 + 1)*Main> collatz_chain 1 [1] *Main> collatz_chain 2 [2,1] *Main> collatz_chain 3 [3,10,…

Haskell入門(高階関数)

関数と引数を受け取って、その引数に対して関数を2回実行する関数 (その引数に対して関数を実行した結果に、もう一度関数を実行する関数) applyTwice :: (a -> a) -> a -> a applyTwice f x = f (f x)*Main> applyTwice (+1) 2 4 *Main> applyTwice (1:) [2]…

Google翻訳で英語の勉強 小村寿太郎

小村寿太郎は宮崎県で生まれた。 Komura Jutaro was born in Miyazaki prefecture.彼はハーバード大学で学んだ。 He studied at Harvard University.その後、彼は外務省に入った。 After that, he entered the Ministry of Foreign Affairs.ロシアが不凍港を…

Haskell入門(再帰)

-- リストの最大の要素を返す -- リストの(先頭の要素)と(2番目以降の最大の要素)のうち、大きいものを返す maximum' :: (Ord a) => [a] -> a maximum' [] = error "empty list" maximum' [x] = x maximum' (x:xs) = max x (maximum' xs)-- xをn個繰り返すリ…

Haskell入門(関数の定義)

パターンマッチ factorial :: Int -> Int factorial 0 = 1 factorial n = n * factorial (n - 1)*Main> factorial 0 1 *Main> factorial 1 1 *Main> factorial 2 2 *Main> factorial 5 120firstLetter :: String -> String firstLetter "" = "empty" firstLe…

Haskell入門(リスト内包表記)

レンジ Prelude> [1..10] [1,2,3,4,5,6,7,8,9,10] Prelude> [1,3..10] [1,3,5,7,9] Prelude> [4,10..100] [4,10,16,22,28,34,40,46,52,58,64,70,76,82,88,94,100] Prelude> [10,9..1] [10,9,8,7,6,5,4,3,2,1] 3の倍数の最初の10個 Prelude> [3,6..3*10] [3,6…

Haskell入門(リスト)

リストの作成 Prelude> [1, 2, 3] [1,2,3] Prelude> 1 : 2 : 3 : [] [1,2,3]リストの連結 Prelude> [1, 2] ++ [3, 4] [1,2,3,4]リストの先頭に要素を追加 Prelude> 1 : [2, 3] [1,2,3]リストの末尾に要素を追加 Prelude> [1, 2] ++ [3] [1,2,3]リストのn番目…

Haskell入門

Haskellの処理系GHCのインストール(Debian系Linuxでの手順) $ sudo apt install ghcバージョン確認 $ ghc -v対話モード(GHCi)の起動 $ ghci対話モードの終了 Prelude> :q Leaving GHCi.以下、対話モードで実行します。 Prelude> 1 + 2 3 Prelude> 3 - 2 1 Pr…

戦前に起きた警察官と軍人のけんか(ゴーストップ事件)

ja.wikipedia.orgゴーストップ事件は、1933年(昭和8年)に大阪府大阪市北区の天六交叉点で起きた陸軍兵と巡査の喧嘩である。それが陸軍と警察の大規模な対立に発展した。「ゴーストップ」とは信号機のこと。満州事変後の大陸での戦争中に起こったこの事件は…

正しい判断とは何か

正しい判断とは何か。正しい情報と正しい論理を使って行われる判断のことか。何が正しい情報であるかをどのように判断するか。 その情報の発信者が信頼できるかどうかで判断するか。 情報の発信者が信頼できるかをどのように判断するか。自分で実験するか観…

自分で判断するとはどういうことか

自分で判断するとはどういうことか。他人の意見を信頼することは、自分で判断することなのか。信頼できる人を選び、その人の意見に従うことは、自分で判断することなのか。自分が作った人工知能の判断に従うことは、自分で判断することなのか。自分が作った…