FP:無限を扱いたい願望が遅延評価を生んだ

このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br][br]無限を扱いたい願望が遅延評価を生んだ。[br]「遅延評価」というとむずかしそうだが、[br][color=#0000ff][b][size=150]「生真面目とさぼりを両立させる。さぼれるところは徹底してさぼる。」[br][/size][/b][/color]ということです。[br][br]計算するには式を評価しなければできません。[br]評価を遅らせる、つまり、さぼることは[br]計算もあえてスルーするということです。[br][br]このことが、無限を扱ったり、超大量データ処理の高速処理につながるのです。[br][br]これはPythonの発明ではなく、[br]初期の関数型言語、[b]Haskell[/b]などの大御所の「遅延評価」という発想を、[br]Pythonも取り入れたという歴史があります。[br]歴史はともかく、その発想と効果をもっとくわしくみていこう。[br][br][b][color=#0000ff][size=200]その名もitertools.[br][/size][/color][/b][br][b]iter, イテレーション[/b]といえば、左から順に生真面目にやる代名詞。[br]それが、なぜ、さぼりの道具をもっている???[br]面白そうだ。[br][br]
1、generatorが効率的な理由をさぐろう
[b][size=150]generatorが効率的な理由をさぐろう[br]<さぼり屋と言えばAndとOr>[br][/size][/b][br]遅延評価と言わなくても[br]さぼり屋がいる。[br]それはAndとOrだ。[br]たとえば,[br]it=1+2+3+4+5[br]itを計算するには、1,2,3,4,5を全部評価して、左からたし算してitは10となる。[br]it=True or A or B or C[br]itを計算するには、先頭を見てすぐに、Trueとわかるから、A,B,Cの中身は見なくてもOK。[br]Orだから。[br]同じことが、it=False and A and B and C は一瞬でFalseと言える。[br]これは、PCのプログラムでなくてもわかることだ。[br]これが、評価をさぼる、遅くする。[br]lazy,deferのイメージだ。[br][br]この例は、遅らせるどころか、スルーしてますけどね。[br][br]では、完璧なスルーはしないまでも、遅らせる。[br]これをみてみよう。[br][br][b][size=150]<要求のあるときだけ働くgenerator>[br][br][/size][/b]次のフィボナッチ数列という定義は一見恐ろしく見えます。[br]真である間はずっと数列の計算をするみたいだからです。[br][b]無限数列[/b]生成プログラムに見えます。[br][br]でも、[b]next(generator)[/b]というセリフで[br][b]yield[/b] が[b]5回呼ばれるだけだから、数列は5個で終了[/b]することが保証されています。[br][br]def fibonacci_seq():[br] a, b = 1,1[br] while True:[br] [b]yield[/b] a[br] a, b = b, a + b[br][br]# Generating the first five Fibonacci numbers[br][b]generator [/b]= fibonacci_seq()[br]for _ in range(5):[br] print([b]next(generator)[/b])[br][OUT][br][b]1[br]1[br]2[br]3[br]5[br][/b][br]なぜそうなるのか?[br]fibonacci_seqには[b]return[/b]文がありません。[br][br]だから、1回次は?呼ばれたらyieldはしぶしぶ1回返す。[br]yieldには「[b](圧力に負けて)明け渡す、(要求されて)(…に)許す[/b]」という訳語がある通り、[br]ただ生み出すということではありません。[br][br]「は~い、わかりましたよ。」としぶしぶ仕事をする。[br]できるだけ仕事を遅らせる。[br]言われたことだけやる最低の社員[b]lazy[/b]。[br]いわれたこと以上のことをやる熱心なモーレツ社員[b]eager[/b]ではありません。[br][br][b][size=150]<レイジー関数をレンジに使う>[br][/size][/b][br]レイジー関数は[b]generator に入れて、nextを呼ばなくても使えます。[br][/b]レイジー関数をレンジ関数にすれば、普通のレンジの書き方もできます。[br]def lazy_range(limit):[br] current = 0[br] while current < limit:[br] [b]yield [/b]current[br] current += 1[br]for number in [b]lazy_range(5)[/b]:[br] print(number)[br][br][b][size=150]<レイジー関数をつなぐと効率的>[br][/size]さぼり部品をバケツリレーすると効率がいいです。[br][/b]def read_file(file_path):[br] with open(file_path, 'r') as file:[br] for line in file:[br] [b]yield [/b]line.rstrip('\n')[br]def filter_comments(lines, [b]comment_char='#'[/b]):[br] for line in lines:[br] if [b]not [/b]line.[b]startswith(comment_char)[/b]:[br] [b]yield [/b]line[br]def transform_lines(lines):[br] for line in lines:[br] # Example transformation: convert the line to [b]uppercase[/b][br] [b]yield [/b]line.upper()[br][br]#文字列sのファイルを直下に作る。[br]s = '[b]##New line 1\n#New line 2\nNew line 3[/b]'[br]with open('data.txt', mode='w') as f:[br] f.write(s)[br][br]#読み取ったファイルをパイプラインで読みとって出力する。[br]lines = read_file('data.txt')[br]filtered_lines = filter_comments(lines)[br][b]processed_lines [/b]= transform_lines(filtered_lines)[br]for line in [b]processed_lines[/b]:[br] print(line)[OUT][br][b]NEW LINE 3[br][b]processed_lines はレイジー関数を連結してレイジー関数です。[/b][br][/b]ファイルの小文字を大文字に変えるtransform_linesが働くのは、[br]filter_commentsが♯から始まる行を削った残りです。だから、仕事は一瞬で終わりますね。[br]それぞれの関数は[b]yield が呼ばれるまで、メモリという仕事場を汚さないクリーンで効率的です。[br][br][/b][b][size=150]<itertools.isliceで切って回す>[br][/size][/b]レイジー関数のバケツリレーを[b]itertools.islice[/b]に渡すと、さらに効率があがります。[br]999999の倍数の平方数を計算するのに、もともとは流している数は1から順に増える[br]自然数のはずですが、filter999999mulitでフィルタリングして、平方数にします。[br][b]itertools.isliceで切り取って渡すので、無駄がありません。[br]ちなみに、isliceはスライスの指定と結果は以下の通り。[br][/b] # islice('ABCDEFG', 2) → A B[br] # islice('ABCDEFG', 2, 4) → C D[br] # islice('ABCDEFG', 2, None) → C D E F G[br] # islice('ABCDEFG', 0, None, 2) → A C E G次の例では10個表示しますが、10000000個とかにしても同じようなスピード感で淡々と表示が[br]進みます。最初に無限の自然数を読み取るなどという無謀なことをしてませんから、[br]メモリ効率が抜群なのです。[br][br]def infinite_numbers():[br] num = 0[br] while True:[br] [b]yield [/b]num[br] num += 1[br]def [b]filter999999mulit[/b](numbers):[br] for num in numbers:[br] if num % 999999 == 0:[br] [b]yield [/b]num[br]def square_numbers(numbers):[br] for num in numbers:[br] [b]yield [/b]num * num[br]# 無限パイプライン[br]numbers = infinite_numbers()[br]multi_numbers = filter999999mulit(numbers)[br]squared_numbers = square_numbers(multi_numbers)[br][b]import itertools[br][/b]for num in [b]itertools.islice(squared_numbers, 10[/b]):[br] print(num)[br][b][size=150][OUT][br][/size][/b]0[br]999998000001[br]3999992000004[br]8999982000009[br]15999968000016[br]24999950000025[br]35999928000036[br]48999902000049[br]63999872000064[br]80999838000081
2.無限のためのitertools
[b][size=150]無限のためのitertools[br][br]<countは無限小にも役立つ無限等差数列>[br][br][/size][/b]無限のためのものといえば、itertools.countがあります。[br]for文のrange関数はゴール指定で回しますが,countはステート指定で回します。stepの指定もできます。[br]だから、count(start,step)は[br]ほっとくと、初項start,公差stepの等差数列を無限に作ってくれます。[br][br]実際は、[b]zip,map[/b]と組み合わせることで、有限のものにナンバリングすることができます。[br]from itertools import [b]count[/b][br]enumerate = lambda x, start=0: zip([b]count[/b](start), x)[br]これで、[b]enumerate[/b]というおなじみの番号つき切り取り関数と同等なものが作れます。[br]だから、次の2つの出力は同じです。[br]print(list([b]zip(count(), iter('WordCount'))[/b]))[br]print(list(enumerate(iter('WordCount'))))[br][OUT][br][b][(0, 'W'), (1, 'o'), (2, 'r'), (3, 'd'), (4, 'C'), (5, 'o'), (6, 'u'), (7, 'n'), (8, 't')][br][color=#0000ff]enumerateはstart=0,step=1のcountラベルを作りますが、countには自由度があります。[br]list(zip(count(-9, 0.5), iter('WordCount')))[br][/color][OUT][br][(-9, 'W'),[br] (-8.5, 'o'),[br] (-8.0, 'r'),[br] (-7.5, 'd'),[br] (-7.0, 'C'),[br] (-6.5, 'o'),[br] (-6.0, 'u'),[br] (-5.5, 'n'),[br] (-5.0, 't')][br][/b]countという枠組みのあとに有限データ[b]iter('WordCount')を渡すことで、有限の出力をしてくれます。[br][br]小数でカウントするなんて何のやくにたつのだろうと思われるかもしれない。[br][/b][br]しかし、[b][color=#0000ff]近似値を求める[/color][/b]ときに、[br]xの値をstart=0.1, step=0.001で刻みながら、yとの差の絶対値を求めるレイジー関数を作る。[br]その差が希望の範囲d未満になるときのxの値を返すレイジー関数を作る。[br]それをバケツリレーをすると、級数の和や数列の収束で希望の範囲になるときの値を求める[br]数学の問題で役立つでしょう。[br][br][size=150][b]<cycleは無限大にも役立つ無限ロールスタンプ>[br][/b][br][/size]無限のためのものといえば、[b]itertools.cycle[/b]があります。[br]cycle('ABC') → A B C A B C A B C D ...[br]これも延々と出力しそう(でも、実際はしない。)だから、zipなどで有限にして使えます。[br]counter = 0[br]for item in itertools.cycle(['A','B','C']):[br] print(item)[br] counter+= 1[br] if counter > 6: # To avoid infinite loop[br] break[br][OUT][br][b]A[br]B[br]C[br]A[br]B[br]C[br]A[br][/b]これだけ見ると、「だからどうした。」となるでしょう。[br][br]これが10億個とかの[b]超大量データ処理[/b]になると本領発揮します。[br]10億を1個ずつ区切るレイジー関数に、たとえば、step=10000で、[br]データにナンバリングして、それを抽出するレイジー関数をかませ、最後に[br]データ処理をするというバケツリレーを作ることがありえるでしょう。[br]レイジー関数ですから、途中をすっ飛ばして、抽出したデータだけを処理するので、[br]全件読み取るメモリーも不要、時間も不要です。読んだデータだけを処理するので、[br]10000倍以上のスピードで実行できるでしょう。[br][br][b]<振り返り>[/b][br]genenator関数のときもそうでしたが、itertoolsの関数でもパイプラインの共通点があります。[br][br]レイジー関数のパイプラインは[br][b][color=#0000ff]・呼び出された瞬間は、何ひとつ仕事をしない。[br][/color][/b]・メモリを汚さず、ただ[b][color=#0000ff]「パイプ(構造)」だけを綺麗につなぎ合わせる[/color][/b]。[br]・最後の最後に、要求した分で[b][color=#0000ff]パイプラインの中を通るものだけを通してメモリ空間で物質化[/color][/b]させる。[br][br]つまり、itertoolsは、[br]遅延評価パイプラインが[b]「生真面目なループ」構造の圧力を極小化[/b]して[br][b]「極限までサボる yield」[/b]を働かせる[br]という[b]メモリ効率化パラダイム[/b]で爆発的な力を発揮するのですね。[br][br]最後に、有限リストでもお役立ちの機能があるitertoolsの関数群を紹介します。[br]
3.有限のitartools
有限は有限でitertoolsは役立ちます。[br][br]組み合わせ論、データ集計などいろいろありますが、まずは[br][br]組み合わせ論の[code]permutations、[/code] combinationsです。[br][br][b][size=150]<permutations、 combinations>[br][/size][/b][br]これは値としての順列、組み合わせではなく、文字列の組み合わせとして作ってくれるのです。[br]たとえば、[br][br] # permutations('ABCD', 2) → AB AC AD BA BC BD CA CB CD DA DB DC[br] # permutations(range(3)) → 012 021 102 120 201 210[br][br] # combinations('ABCD', 2) → AB AC AD BC BD CD[br] # combinations(range(4), 3) → 012 013 023 123[br][br]のように、もとの文字列から切り出して部分集合としての文字列を作ってくれます。[br]そうすると、文字を使ったパズルの解法に使えたりします。[br][br]forループを文字数だけ回すと煩雑になることを防ぐことができめますね。[br][br]覆面算[br][color=#0000ff][size=200]read + write + talk = skill[br][/size][/color][br]from itertools import permutations[br]# 0から9までの使用可能な数字の敷地を新築[br]usable = list(range(10))[br]setU = set(usable)[br]cnt = 0[br][br]def check(a, e, t, r, k, d, l, i, w, s):[br] global cnt[br] # 各単語を数理ロジックに復元[br] A = r * 1000 + e * 100 + a * 10 + d # READ[br] B = w * 10000 + r * 1000 + i * 100 + t * 10 + e # WRITE[br] C = t * 1000 + a * 100 + l * 10 + k # TALK[br] D = s * 10000 + k * 1000 + i * 100 + l * 11 # SKILL (L*10 + L = L*11)[br] [br] if A + B + C == D:[br] cnt += 1[br] print(f"{A} + {B} + {C} = {D}")[br][br]# 10文字一気に回すと「10! = 3,628,800通り」になる。[br]# まずは最初の6文字 (a, e, t, r, k, d) の順列だけをサボりながら回す(10P6 = 151,200通り)[br]for v in permutations(usable, 6):[br] a, e, t, r, k, d = v[br] # 頭文字(最上位の桁)が 0 になる偽物の世界を事前に除外[br] if t != 0 and r != 0:[br] # 一の位の計算 (D + E + K) から、L の値を一意に確定させる![br] l = (d + e + k) % 10[br] # 確定した L が、すでに使った6文字と重複していない場合のみ、奥へ進む[br] if l not in {a, e, t, r, k, d}:[br] # 全体集合から、現在ロックされている7文字をサッと引き算[br] diffs = setU - {a, e, t, r, k, d, l}[br] # 残った3文字 (i, w, s) の全順列(3! = わずか6通り)をパパッと回す[br] for p in permutations(diffs):[br] i, w, s = p[br] # 残る頭文字も 0 ではないことを確認し、最終チェックへ[br] if w != 0 and s != 0:[br] check(a, e, t, r, k, d, l, i, w, s)[br][br]print(f"\n合計:{cnt} 通り")[br]#=================================================[br][OUT][br]4905 + 24689 + 8017 = 37611[br]9728 + 19467 + 6205 = 35400[br]1632 + 41976 + 7380 = 50988[br]2543 + 72065 + 6491 = 81099[br]5270 + 85132 + 3764 = 94166[br]5180 + 65921 + 2843 = 73944[br]5094 + 75310 + 1962 = 82366[br]5096 + 35710 + 1982 = 42788[br]7092 + 37510 + 1986 = 46588[br]7092 + 47310 + 1986 = 56388[br]10 通り[br][br]このように、文字数の爆発をふせぐコードがかけますね。[br]もとはjuliaで書いてますが、もとのページは[url=https://www.geogebra.org/m/twxxx3yq#material/xvt849hw]こちら[/url]です。[br]
[b][size=150]<簡易区分groupby>[br][br][/size][/b]グループ化というのは、割と使いたい場面があると思います。[br]SQL文ではありません。[br]順次走査で情報を縮約するので、並べ替えしてないとキーが再出現します。[br]それに、グループの集計して個数を数えたり、小計を出すわけでもありませんのでご注意。[br][br]イテラブルL(文字列やリスト)に対して、[br][b]itertools.groupby[/b]([i]L[/i], [i]key=None[/i]):[br](キーk,グループgを返すイテレータ)のタプル列を作成します。[br]次の例は動作イメージです。タプルの2番目の要素はリストではなくイテレタです。[br] # [k for k, g in groupby('AAAABBBCCDAABBB')] → A B C D A B[br] # [list(g) for k, g in groupby('AAAABBBCCD')] → AAAA BBB CC D[br]返されるグループはそれ自体がイテレタで [i]L[/i] を共有しています。だから、Lがもとなので、要素取り出しを先Nextに進めると、それ以前の要素であるグループは見えなくなります。[br]この[b]groupbyを使って別の関数も作れます。[/b][br][br]from operator import itemgetter[br]from itertools import groupby[br] #反復された文字はスキップして取り出す関数。[br][b]def unique_justseen[/b](iterable, key=None):[br] if key is None:[br] return map(itemgetter(0), [b]groupby(iterable)[/b])[br] return map(next, map(itemgetter(1), [b]groupby(iterable, key)[/b]))[br][br][b]キーを指定しないとき、groupby(iterable)は[/b](キーk,グループgを返すイテレータ)列なので、itemgetter(0)つまり、タプルの先頭を取り出すと、グループのキーkだけのリストも作れます。[br]list(unique_justseen('AAAABBBCCDAABBB')) #['A', 'B', 'C', 'D', 'A', 'B'][br][br][b]キーをstr.casefoldで小文字にした文字にしたとき、groupby(iterable, key)のitemgetter(1)[br][/b]より、タプルの2番目、つまりイテレタが取り出されるのですが、イテレタはもとのイテラブルL[br]を共有しているため、グループ先頭の位置でもとのイテラブルLから順に抜き出します。[br]list(unique_justseen('ABBcCAD', str.casefold) ) # ['A', 'B', 'c', 'A', 'D'][br][br][b][size=150]<残高計算ができるaccumulate>[br][/size]reduceに似てますが、コマ送りでリスト化できます。[br][color=#0000ff]履歴つきのreduceという感じですね。走るreduce.[br][/color][/b]def [b]accumulate[/b](iterable, function=operator.add, *, initial=None):[br]アキュムレート累積は動作が単純です。[br]ドミノ倒しに似てます。基本、そのつど累和を求めます。[br]# list(accumulate([1,2,3,4,5])) → [1, 3, 6, 10, 15][br]# list(accumulate([1,2,3,4,5], initial=100)) → [100, 101, 103, 106, 110 ,115][br]だから、銀行の通帳で出と入りを数列にすると、残高数列が作れることになりますね。[br]それだけではありません。[br][br]演算する関数をoperator.mulにすれば、そのつど累積を出せますね。[br]list(accumulate([1,2,3,4,5], operator.mul)) → [1, 2, 6, 24, 120][br]演算する関数をmaxにすれば、そのつどの最大値を出せますね。[br]だから、いつ一番多い入金があったのかを検索するなどにも使えそうです。[br]list(accumulate([3, 4, 6, 2, 1, 9, 0, 7, 5, 8], max))→ [3, 4, 6, 6, 6, 9, 9, 9, 9, 9][br][br][b][size=150]<他の小物たち>[/size][/b][br]他にも小物が多数あります。listをかませないと、ただのイテレタだけだったりするのでご注意。[br]利用例を見れば、説明しなくてもわかりますね。[br]くわしくは、[url=https://docs.python.org/ja/3/library/itertools.html#]pythonのドキュメンテーション[/url]をご覧ください。[br] # chain('ABC', 'DEF') → A B C D E F 連結ですね。[br] # chain.from_iterable(['ABC', 'DEF']) → A B C D E F[br] # dropwhile(lambda x: x<5, [1,4,6,3,8]) → 6 3 8 これは少し使えるかも。[br] # takewhile(lambda x: x<5, [1,4,6,3,8]) → 1 4 ドロップの逆ですね。[br]  # pairwise('ABCDEFG') → AB BC CD DE EF FG[br] # repeat(10, 3) → 10 10 10[br] # starmap(pow, [(2,5), (3,2), (10,3)]) → 32 9 1000 これは面白い。[br][br]def [b]take[/b](n, iterable):[br] return list(islice(iterable, n))[br][br]def [b]prepend[/b](value, iterable):[br]  # prepend(1, [2, 3, 4]) → 1 2 3 4[br] return chain([value], iterable)[br][br]def [b]repeatfunc[/b](function, times=None, *args):[br]  if times is None:[br] return starmap(function, repeat(args))[br] return starmap(function, repeat(args, times))[br][br]def [b]flatten[/b](list_of_lists):[br]  return chain.from_iterable(list_of_lists)[br][br]・・・・・[br]キリがないですね。[br][b]みんなスマートな定義ですね![br][br][/b]定義まで載せたのは、[br][b][color=#0000ff][size=150]関数が関数を呼ぶ、新関数をバケツリレーで作ることができる[br][/size][/color][/b]ということを感じて欲しいからです。[br][br][b][br][size=200][color=#0000ff]純粋関数の自己増殖ワールド[br][/color][/size]ですね。[/b][br]もちろん人が多数かかわっているでしょうから、自律的に増殖したわけではありませんけどね。[br]それだけ、役立ち、プログラマーがいじりたくなる道具が満載だということが[br]伝わってきますね。[br][br][color=#9900ff][b][size=150][u]課題:geogebraにあるリスト操作の小物関数をつないで新関数をつくってみましょう。[br][/u][/size][/b][/color][br]タイトル「groupbyもどきを作ろう」[br]list1 = { "a", "a", "x", "x", "x", "b" } [br]frq=Frequency(list1)# { 2, 1, 3 } [br]unq=Unique(list1)#{ "a", "b", "x" } [br]groupDeg=zip({a,b},a,unq,b,frq)[br]text0=""+list1+""[br]text1=""+groupDeg+""[br]text2=TableText(unq,frq,'h')
groupbyもどきを作ろう

Informacja: FP:無限を扱いたい願望が遅延評価を生んだ