福岡県生まれ。九州大学大学院人間環境学府博士後期課程単位取得退学、福岡県の高校教諭、中村学園大学教育学部教授。NPO法人アジア太平洋こども会議イン福岡「世界にはばたく日本のこども大使育成塾」塾長、古典輪読会「太宰府斯道塾」塾長、一般財団法人日本教育推進財団顧問。
同様の料理をエストニアでは、フィンランドでは、アイスランドではと呼んでいる。
概要.
スウェーデンではもてなしの料理として、誕生日や何らかの記念日、祝祭日のランチやフィーカでよく食される。
作り方.
土台となるサンドイッチは作成してから一晩寝かせてパンと具材を馴染ませると、より美味くなる。
構文.
パターンマッチの特徴.
値パターン.
双子素数のパターンマッチ
述語パターン.
上記の双子素数のパターンマッチを述語パターンで記述する。
述語を引数に取り述語パターンにする事も出来る。
and パターン・or パターン.
and パターンと or パターンの使用例として、三つ子素数を抽出するパターンマッチを紹介する。
非線形パターンに対する効率的なバックトラッキング.
また、パターンマッチのよるデータの分解方法が複数ある場合でも、パターンマッチのための探索空間を効率よくバックトラッキングする。
新構文.
旧構文.
パターンの多相性.
同じパターンを複数のデータ型に対するパターンマッチで使いまわせる。
例えば、あるリストデータが、ある場所では多重集合として、別の場所ではリストとして、パターンマッチされることが起こりうる。
そのため、パターンの多相性は、パターン記述のために覚えなければならないパターンコンストラクタの名前の数を減らし、パターンの簡潔な記述に役に立つ。
新構文.
旧構文.
パターンコンストラクタだけでなく、値の同値性をチェックする値パターンも多相性を持っている。
新構文.
パターンの拡張性.
パターンごとのデータの分解アルゴリズムを保持するオブジェクトであるマッチャーを、ユーザーが自身で定義できる。
例えば、リスト、多重集合、集合それぞれに対してパターンマッチの方法をユーザが定義できる。
新構文.
 | $ as something with
 | [] as () with
 | $ as something with
旧構文.
無限の結果を持つパターンマッチ.