「一方向性関数」の版間の差分

 

==厳密な定義==

&Sigma; = {0, 1} とし、<math>\Sigma^* = \cup_{k\in{\Bbb N}}\Sigma^k</math>とする。