このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]今回は、[url=https://www.geogebra.org/m/twxxx3yq#material/zewsesfx]探索３兄弟[/url]のうちの２つイテレタとインタプリタをOOPからFPに移植しよう。[br]イテレタは実装に関係なく共通の探索仕様で使えた。[br]インタプリタは単語と文法をまるごと装備して確実な変換ができた。[br]FPにするとこのメリットを守りながら、さらにどんな価値を付加できるだろうか。
[b][size=150]＜OOP:Iterator＞[/size][br][/b]検索のキーワードをきめて、実装は子クラス（３の倍数検索と３のつく数検索）でちがっていい。[br]これが、Iteratorだった。OOPでは、リストを先に作っておいて、そのリストあればnabeを真と返すロジックにしたね。[br]#[url=http://nabeatsu.py/]nabeatsu.py[/url][br][color=#0000ff]# ==========================================[br]# 【インターフェース】ナベアツイテレータの共通契約[br]# ==========================================[br][/color]class NabeatsuIterator:[br] """内部のリスト構造がどうであれ、共通のキーワード『nabe(x)』を保証する"""[br] def __init__(self, max_num=100):[br] self.max_num = max_num[br] self.target_list = self._create_list() # 子クラスごとに異なるリストが作られる[br][br] def _create_list(self):[br] """【型枠】リストの具体的な作り方は子クラスに委ねる"""[br] raise NotImplementedError()[br][br] def nabe(self, x):[br] """ユーザーが使う共通キーワード。リストに属していればTrueを返す"""[br] return x in self.target_list[br][br][br][color=#0000ff]# ==========================================[br]# 【子クラス1】3の倍数リストイテレータ（数理的なアプローチ）[br]# ==========================================[br][/color]class Multi3Iterator(NabeatsuIterator):[br] def _create_list(self):[br] # 1からmax_numまでの間で、3の倍数だけを格納したリストを作る[br] return [i for i in range(1, self.max_num + 1) if i % 3 == 0][br][br][color=#0000ff]# ==========================================[br]# 【子クラス2】3のつく整数リストイテレータ（集合を駆使したアプローチ）[br]# ==========================================[br][/color]class HasDigit3Iterator(NabeatsuIterator):[br] def _create_list(self):[br] # 10の位が3の集合[br] A = {30 + x for x in range(10)}[br] # 1の位が3の集合[br] B = {3 + 10 * x for x in range(10)}[br] # 重複する33の集合[br] C = {33}[br] [br] # 集合の和（OR）から重複を引き、1からmax_numに収まるものだけをリスト化[br] union_set = (A | B) - C[br] return [i for i in range(1, self.max_num + 1) if i in union_set][br][br][br][color=#0000ff]# ==========================================[br]# 【実行・ユーザー側のコード】中身を知らなくても、同じ命令で全件調査！[br]# ==========================================[br][/color][br]# 1. 異なる内部実装を持つ、2つのイテレータインスタンスを生成[br]M = Multi3Iterator(100)[br]D = HasDigit3Iterator(100)[br][br]print("ナベアツさん登場！ \n")[br][br]# 2. ユーザーは共通の「nabe(i)」だけで、1から100まで確実に走査する[br]for i in range(1, 100 + 1):[br][color=#0000ff] # Mの中身が倍数リストか、Dの中身が集合演算か、ユーザーは一切知らなくてよい[br][/color] if M.nabe(i) or D.nabe(i):[br] print("（変顔）", end=" ")[br] else:[br] print(f"{i}", end=" ")[br] [br] # 10個ごとに改行して見やすく整える[br] if i % 10 == 0:[br] print()[br][OUT][br]1 2 （変顔） 4 5 （変顔） 7 8 （変顔） 10 [br]11 （変顔） （変顔） 14 （変顔） 16 17 （変顔） 19 20 [br]（変顔） 22 （変顔） （変顔） 25 26 （変顔） 28 29 （変顔） [br]（変顔） （変顔） （変顔） （変顔） （変顔） （変顔） （変顔） （変顔） （変顔） 40 [br]41 （変顔） （変顔） 44 （変顔） 46 47 （変顔） 49 50 [br]（変顔） 52 （変顔） （変顔） 55 56 （変顔） 58 59 （変顔） [br]61 62 （変顔） 64 65 （変顔） 67 68 （変顔） 70 [br]71 （変顔） （変顔） 74 （変顔） 76 77 （変顔） 79 80 [br]（変顔） 82 （変顔） （変顔） 85 86 （変顔） 88 89 （変顔） [br]91 92 （変顔） 94 95 （変顔） 97 98 （変顔） 100
[b][size=150]＜FP:Iterator＞[/size][/b][br]OOPではリストを先に作って、順次的に判定していた。[br]どうせ、最後は順次判定なのだから、３の倍数も数字３ありも関数にして、その場で判定しよう。[br]３の倍数関数is_multi_3も数字３ありも関数has_digit_3もいきなりtrueを返すようにし[br]共通の親クラスはいない。[br]FPでは、関数を招きいれるスーパー関数、[b]高階関数[/b]を用意した。[br]そこに、ラムダをいれて柔軟に対応するというのがお決まりのパタンだった。[br]今回は、pythonにもれなく入っている[b]高階関数のAny[/b]を使う。[br]どれかがでもあたる、なんか１つでも当たればOKという、[br]ハードルの低い関数、論理的には「OR」と同じだね。[br][br]execute_nabeatsuが高階関数だ。[br]判定最大数と、２つの関数をリストにしたpredicate_funcsを読ませよう。[br]その中で、for文をまわすiをis_multi_3(i)とhas_digit_3(i)に読ませるとき、これを[br]func(i)という名前で受け取る。[br]funcとは predicate_funcsのリストにある関数だから、ORを使わずに、[br][b]any(func(i))[/b]でfuncがいくつ入っても対応できる。[br]だから、５の倍数で変顔するようになっても、[br][b][color=#0000ff][size=150][size=200]any(func(i))という共通仕様[br][/size][/size][/color][/b]で変顔が簡単に出せる。[br][br]# ==========================================[br]# 1. 判定ロジックの定義（純粋関数 / 述語関数）[br]# ==========================================[br]def is_multi_3(x: int) -> bool:[br] """3の倍数かどうかを判定する純粋関数"""[br] return x % 3 == 0[br]def has_digit_3(x: int) -> bool:[br] """3のつく数字かどうかを判定する純粋関数"""[br] return '3' in str(x)[br]# ==========================================[br]# 2. フレームワーク側（高階関数による共通の走査）[br]# ==========================================[br][b]def execute_nabeatsu(max_num: int, predicate_funcs: list):[br][/b] for i in range(1, max_num + 1):[br][color=#0000ff] [b] if any(func(i) for func in predicate_funcs):[br][/b][/color] print("（変顔）", end=" ")[br] else:[br] print(f"{i}", end=" ")[br] # 10個ごとに改行して見やすく整える[br] if i % 10 == 0:[br] print()[br]# ==========================================[br]# 3. 実行[br]# ==========================================[br]print("ナベアツさん登場！ \n")[br][b]rules = [is_multi_3, has_digit_3][br][/b]execute_nabeatsu(max_num=100, predicate_funcs=rules)[br][br]OOPは親を共通にして、動き方も共通にしてリストを先に作るという重装備だった。[br]FPでは親は問わない。[br]ただ処理する関数をリストに束ねてリスト名をつけて処理の親玉である高階関数に渡すだけだった。[br][br][b]メモリも紙面も無駄に食わないスマートなシステム[/b]だね。
[size=150][b]＜FP：Interpreter＞[/b][/size][br]OOPではありません。すでに関数型になっています。[br][br]from functools import reduce[br]def calcDiff(RPN: str) -> int:[br] """【Interpreter】[br] 逆ポーランド記法（RPN）の文字列を通訳し、数式の意味を解釈して計算結果を返す。[br] words ➔ foldl(foldStack) ➔ head のパイプライン合成。[br] """ [br] # 1. 【words関数】文字列をスペースで区切ってリスト（トークン列）に分解する[br] def words(text: str) -> list:[br] return text.split()[br][br] # 2. 【foldStack関数】左畳み込み(foldl)の各ステップで、スタックに値を積む、または計算する[br] # Pythonの reduce(foldl) に合わせて、第1引数をスタック(S)、第2引数を読み取った文字(item)とする[br] def foldStack(S: list, item: str) -> list:[br] operators = ["+", "-", "*", "/"][br] [br] if item in operators:[br] # 演算子を読み込んだ場合：スタックの先頭からx, yを取り出す（Sの先頭から順にx, yになる）[br] x = S.pop(0)[br] y = S.pop(0)[br] [br] # 演算子に応じた計算を行い、結果zをスタックの先頭(xs)に戻す[br] if item == "+": z = y + x[br] elif item == "-": z = y - x[br] elif item == "*": z = y * x[br] elif item == "/": z = int(y / x) # 割り算は整数丸め[br] S.insert(0, z)[br] else:[br] # 数値を読み込んだ場合：整数に変換してスタックの先頭(xs)に追加する[br] S.insert(0, int(item))[br] return S[br][br] # 3. 【head関数】畳み込んだあとのスタックの先頭要素を読み込む[br] def head(S: list) -> int:[br] return S[0][br][br] # ========================================================[br] # 【パイプライン合成の実行】[br] # 提示された数式「 1 2 + 3 * 」の文脈を、左から右へと畳み込んで解釈していく[br] # ========================================================[br] tokens = words(RPN) # ① words: 文字列をリストLに分解[br] final_stack = reduce(foldStack, tokens, []) # ② foldl: 空リスト[]からスタートしてトークンを畳み込む[br] return head(final_stack) # ③ head: 先頭の計算結果を回収[br][br]# ==========================================[br]# 【作動テスト】[br]# ==========================================[br]print("インタプリタ\n")[br]rpn_expr1 = "4 3 2 + 1 - *"[br]result1 = calcDiff(rpn_expr1)[br]print(f"RPN表記: {rpn_expr1}")[br]print(f"[OUT] ➔ {result1}")
[b][size=200][size=150]＜More FP:Interpreter＞[br][/size][br][/size][color=#0000ff][size=150]FPの思想（純粋さと不変性）[/size][/color][/b]でコードをさらに磨きましょう。[br][br][code]S.pop(0)[/code] や S.insert(0, ...)が[b]副作用[/b]がある関数なのでこれをなくしましょう。[br][br]破壊的なメソッドを使わずに、新スタックを作る方法を考えましょう。[br]計算結果のInsertを書き方は、[br]計算結果をスタックの先頭(xs)に追加して、Sを破壊していたS.insert(0, int(item))をやめ、[br]計算結果ｚを先頭にして、3番目以降の[b]スライス[/b]（S[2:]）をつないだ[z, *S[2:]]にします。[br]数値のInsertを書き方は、[br]整数に変換してスタックの先頭(xs)に追加するS.insert(0, int(item))をやめ、[br][b]アンパック[/b]演算子(*)でレベルをリストの中身にしておき、 [int(item), *S]で数値を先頭に追加します。[br]演算数値ｘ、ｙの取り出し、[br]x = S.pop(0)；y = S.pop(0)をやめ、[br]x = S[0]；y = S[1]でリストを破壊せずに取り出します。[br][br]また、オペレーションの適用は、事前に演算子リストを作り、それに対応する[b]if文[/b]をかいてました。[br]これを、[b]オペレーション辞書[/b]にしましょう。[br]つまり、[b]演算記号ごとにラムダ式で計算[/b]します。[br]こうすれば、[b]いくらでもオペレーションを1行単位で追加、削除できますね[/b]。[br][br]# Iterator FP[br]from functools import reduce[br][br]def calcDiff_pure(RPN: str) -> int:[br] """【Interpreter: 究極純粋FP版】[br] .pop() も .insert() も一切使わない。[br] 情報の更新という名の破壊を完全にやめ、イミュータブルな新築リストだけでリレーする。[br] """ [br] # 1. 【words関数】（変更なし）[br] def [b]words[/b](text: str) -> list:[br] return text.split()[br][br] # 2. 【foldStack関数】一切の破壊メソッドを追放[br] def [b]foldStack[/b](S: list, item: str) -> list:[br][color=#0000ff][b] # 演算子と処理（ラムダ式）の辞書[br][/b][/color][b] operators = {[br] "+": lambda y, x: y + x,[br] "-": lambda y, x: y - x,[br] "*": lambda y, x: y * x,[br] "/": lambda y, x: int(y / x)[br] }[br][/b] if item in operators:[br] x = S[0][br] y = S[1][br] z = operators[item](y, x) [br] return [z, *S[2:]][br] else:[br] return [int(item), *S][br][br] # 3. 【head関数】（変更なし）[br] def [b]head[/b](S: list) -> int:[br] return S[0][br][br][b] # パイプライン実行（完全にクリーンな世界）[br] return head(reduce(foldStack, words(RPN), []))[br][/b][br]# ==========================================[br]# 【作動テスト】[br]# ==========================================[br]print("至高のインタプリタ（純度100%）\n")[br]rpn_expr1 = "4 3 2 + 1 - *"[br]result1 = calcDiff_pure(rpn_expr1)[br]print(f"RPN表記: {rpn_expr1}")[br]print(f"[OUT] ➔ {result1}")[br][br]イテレタでは処理の[b]関数のリスト化[/b]、[br]インタプリタでは演算子ごとの[b]関数の辞書化[/b]。[br]どちらも関数という処理名を[br]まるで、ふつうの数値データのようにリストや辞書で[b]パック[/b]して、親玉関数で使います。[br][br]インタプリタでは[b]イミュータブルなリストをバケツリレー（[code]words[/code] ➔ [code]reduce[/code] ➔ [code]head[/code]）」[/b]しました。[br][br]なんてクリーンなんでしょう、スリムなんでしょう！[br][br]また、対象データもスライス、アンパックまど、破壊しないで加工して、[br]イミュータブルなクリーンな世界を守ってます。[br][br]つまり、[b][color=#0000ff][size=150]FPのクリーンでスリムなことは、[br]見た目とメモリ、表と裏[/size][/color][/b]、どっちにも言えるんですね。
[b][size=150]＜振り返り＞[br][br][/size][/b]関数型というと、[b]リスト内包表記[/b]と連携して使われることが多い。[br]そのため、関数プログラミングはリストにたいするsum,product,reduceなどの演算子の使えるものという[br]イメージを持ちやすい。[br]いわゆる1行プログラムだ。[br][br]しかし、FPのめざすものは純粋さだ。[b]必ず入出力に不動の対応があること[/b]と[br]関数によって、かかわるオブジェクトが壊れない、[b]副作用がない不変な世界を作る[/b]という思想がある。[br][br]for文が リストの中に閉じ込められるからすっきりかけるというのとは意味がちがう。[br]一行プログラムは見た目はすっきすりするが、リストの中に変数、処理、範囲をすべて詰め込むため[br]行数はへるが1行が長くなる。また、扱う変数が多くなると、まわすfor句が重なる。[br]一行プログラムでは、[br]通常のブロック（改行やカッコによる）よりも[b]行数は減るが、メモリ効率が上がるわけではない[/b]。[br]その点、これまでのOOPのFP化は、[b]リスト中心主義ではない[/b]。[br]関数さえ辞書やリストにするので、関数さえオブジェクトにしているのだから、[br][b]汎オブジェクト主義[/b]といえるかもしれない。[br]だから、[b][color=#0000ff][size=200]FPはクラスを使わない今風のOOP[br][/size][/color][/b]ともいえるかも。[br][br]さて、[br]geogebraに目を向けよう。[br]geogebraはリストもリスト処理もできる。[br]関数的言語だけど、関数ではなくコマンドだ。値を返すｘ、ｙなどの関数のグラフはかける。[br][b][color=#0000ff]geogebraは図形上の対象、[br]ベクトル、点、点のあつまり、関数のグラフ、図形、文字列、コントロール、それらがオブジェクトだ。つまり、視覚化できるものがすべオブジェクトだ。[br][/color][/b]しかし、それらの関係性である関数や行列が極端に弱い。[br]これはそれ自体が図形上にものとしてあるわけではないからだ。[br][b]関数のグラフはあるが、関数一般はない。[br][/b]それがgeogebraの基本設計だと思う。[br]だから、geogebraの仕様をみると、関数や変換は膨大だけれど、すべてグラフ化にかかわっている。[br][br]郷に入っては郷に従うということで、ナベアツをgeogebraでどうするかを考えてみよう。[br][br][b][size=150][u][color=#9900ff]課題：ナベアツ登場、１から100で変顔をどうやればできますか。[br][/color][/u][/size][/b][br]クラスは使わないがリストという物を使うオブジェクト指向でやってみよう。[br]Sequenceでリストオブジェクトを作り、Joinで合体して、Uniqueで重複をとる。[br][br]IsMulti3=Sequence(3*k, k, 1,33)[br]A =Sequence (30 + k, k,0,10)[br]B =Sequence (3 + 10 * k ,k, 1, 9)[br]AorB=Join(A,B)[br]Has3=Unique(AorB)[br]IsOrHas3=Join(isMulti3,Has3) [br]nabe=Unique(IsOrHas3)[br][b]res=Sequence(if(k∈nabe,"変顔",k+""),k,1,100)[br][/b]num=slider(1,100,1)[br][b]text1=res(num)+""[br][/b][br][b]text1を青で特大にして、[br]sliderをアニメーション、増大、スピードを適度（×0.15くらい）にすると、[br]text1がよいタイミングで変顔になったり、数のまま表示になります。[br]ポイントはresを作るとき、trueでもfalseでも文字列を返すように、[br]あえて、kではなく、k+""にするということです。これがstr(k)と同じ意味になります。[br]こうすることで、resのオブジェクトとして属性が文字列となります。[br]もし、resでkのままにすると、ずっとtrueの属性が文字列となり、それにあう変顔のみになります。[br]また、リストの要素の抜き出しはElement(res,num)が基本ですが、res(num)でも[br]動きますので、記述を短くするのに役立ちます。[/b]