¤Á³Î m;.n  u;.n  _ 1/2 _ ¤Á³Î

u;.0 y ºÙ0¤Á³Î¡A¥ý±N y ªuµÛ¦U¶b¤ÏÂà¡A¦A°õ¦æ u¡F ¦P©ó (0 _1 */$y) u;.0 y ¡C

¤À¹j¸¹ 0{y (yªº­º¶µ) ¼Ð°OµÛ y ªº¤l¶µ°Ï¶¡ªº°_©l¡F¤ù»y u;.1 y ºÙ1¤Á³Î¡A±N u §@¥Î©ó©Ò¦³¦¹ºØ°Ï¶¡¡C¤ù»y u;._1 yºÙ-1¤Á³Î¡A®t§O¶È¦bµ²ªG¥h°£¤À¹j¸¹¡C¦b2¤Á³Î u;.2 »P_2¤Á³Î u;._2 ¤À¹j¸¹¬°³Ì«á¶µ¡A¼Ð¥ÜªÌ°Ï¶¡ªº²×ÂI¡C

³æÃä3¤Á³Î u;.3 »P_3¤Á³Î u;._3 ¡A¥ý±N ªº­ì¤lªuÃä¤Á°£±o¨ì¦UºØ¡u³Ì¤jªº¤p¤è¶ô¡v¡AÁpµ²¦¨¤@«÷¿jªO¡A¦A°õ¦æ u ©ó¦¹«÷¿jªO¡C ¨ä©w¸qµ¥©ó¥ª¤Þ¼Æ¬° ($$y)$<./$y ªºÂùÃä¤Á³Î¡C

m;.n y ±Ä¨ú°Ê¦Wµü m ªº°Êµü½ü¬yÀ³¥Î¦b y ªº ¤Á³Î¡A­Y¦³¥²­n¡A´`ÀôÂX¥R m ¡C
 
  x u;.0 y ±N«ü¥O u §@¥Î©ó y ªº¤@­Ó¯x§Î©Î¥ß¤èÅé¡A³»ÂI¦b y ªº¯Á¤Þ¬° v=:0{x ¡A¹ïÀ³ªº³»ÂIµ´©w¤è¦¡¬°¡G ºû«×¬° |1{x¡A¦ý¬O­Y¯Á¤Þ j{v ¬°­t¡A¯x§Î¥Ñ v ªuµÛ¥ô·N¶b j ©µ¦ù ¦^¨Ó ¡C ³Ì«á¡A ©Ò¿ï¶µªº¶¶§ÇªuµÛk{1{x ¬°­tªº¦U¶b k °fÂà ¡C­Y x ¬°¦V¶q¡A±N³Qµø¬° 0,:x ªº¯x°}¡C

¦bÂùÃ䱡ªp¡A 1¡B_1¡B2 »P _2 ªº¤À¹j¸¹¥Ñ¦b¥¬ªL ¦V¶q x ªº 1 ¨M©w  ; ªÅ¦V¶q x »P«D¹s #y ¥Nªí¾ã­Ó y¡C¤@¯ë¦Ó¨¥¡A¥¬ªL¦V¶q >j{x ´y­z¦p¦ó¤Á³Î j ¶b¡C

u;.3 »P u;._3 ±o¨ì (¥i¯à­«Å|)«÷¿jªO¡Cx u;._3 y applies u to ¨C­Ó§¹¾ãªº¯x§Î¤j¤p¬° |1{x °_©l©ó²¾°Ê ¦V¶q 0{x ªº¾ã¼Æ­¿¼Æ (¨C¤@¶µ) ,±NµL½a¤j¶µ¥N¥H¹ïÀ³¶b¤§¦³¸¹ªø«×¡C ¦p u;.0¤§¤¤ ¡A°fÂàµo¥Íªu¶bªø1{x ¬°­t¡C¦b¼Æ¦C x ªº±¡ªp¦P©ó 1,:x ,¥B¦]¦¹´£¨Ñ§¹¾ã¥B¤j¤p¬° x ªº«÷¿jªO¡C®×¨Ò u;.3 ®t§O¦b©óªø«×¤p©ó |1{x ªº¸H¤ù¤]¥]¬A¶i¨Ó¡C

x m;.n y ±Ä¨ú°Ê¦Wµü m ªº°Êµü½ü¬yÀ³¥Î¦b y ªº ¤Á³Î¡A­Y¦³¥²­n¡A´`ÀôÂX¥R m ¡C

0»P3¤Á³Î¥ª¯´¬° 2¡F1»P2¤Á³Î¥ª¯´¬° 1¡C
 

   y=: 'worlds on worlds '
   (<;.2 y) ; ($;._2 y) ; (3 5$i.10) ; (+/ ;.1 (3 5$i.10))
+---------------------+-+---------+-----------+
|+-------+---+-------+|6|0 1 2 3 4|5 7 9 11 13|
||worlds |on |worlds ||2|5 6 7 8 9|0 1 2  3  4|
|+-------+---+-------+|6|0 1 2 3 4|           |
+---------------------+-+---------+-----------+

   1 0 1 0 0 <;.1 i.5 7
+--------------------+
|0 1 2  3  4  5  6   |
|7 8 9 10 11 12 13   |
+--------------------+
|14 15 16 17 18 19 20|
|21 22 23 24 25 26 27|
|28 29 30 31 32 33 34|
+--------------------+
   ('';1 0 0 0 1 0 1) <;.1 i.5 7
+-----------+-----+--+
| 0  1  2  3| 4  5| 6|
| 7  8  9 10|11 12|13|
|14 15 16 17|18 19|20|
|21 22 23 24|25 26|27|
|28 29 30 31|32 33|34|
+-----------+-----+--+
   (1 0 1 0 0;1 0 0 0 1 0 1) <;.1 i.5 7
+-----------+-----+--+
|0 1 2  3   | 4  5| 6|
|7 8 9 10   |11 12|13|
+-----------+-----+--+
|14 15 16 17|18 19|20|
|21 22 23 24|25 26|27|
|28 29 30 31|32 33|34|
+-----------+-----+--+

   x=:1 _2,:_2 3 [ z=: i. 5 5
   x ; (x ];.0 z) ; z
+-----+--------+--------------+
| 1 _2|11 12 13| 0  1  2  3  4|
|_2  3| 6  7  8| 5  6  7  8  9|
|     |        |10 11 12 13 14|
|     |        |15 16 17 18 19|
|     |        |20 21 22 23 24|
+-----+--------+--------------+

   (y=: a. {~ (a. i. 'a') + i. 4 4);(a=: 1 1 ,: 2 2)
+----+---+
|abcd|1 1|
|efgh|2 2|
|ijkl|   |
|mnop|   |
+----+---+

   (<;.3 y) ; ((($$y)$<./$y)<;.3 y) ; (a <;.3 y) ; <(a <;._3 y)
+---------------+---------------+------------+----------+
|+----+---+--+-+|+----+---+--+-+|+--+--+--+-+|+--+--+--+|
||abcd|bcd|cd|d|||abcd|bcd|cd|d|||ab|bc|cd|d|||ab|bc|cd||
||efgh|fgh|gh|h|||efgh|fgh|gh|h|||ef|fg|gh|h|||ef|fg|gh||
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l||+--+--+--+-+|+--+--+--+|
||mnop|nop|op|p|||mnop|nop|op|p|||ef|fg|gh|h|||ef|fg|gh||
|+----+---+--+-+|+----+---+--+-+||ij|jk|kl|l|||ij|jk|kl||
||efgh|fgh|gh|h|||efgh|fgh|gh|h||+--+--+--+-+|+--+--+--+|
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l|||ij|jk|kl|l|||ij|jk|kl||
||mnop|nop|op|p|||mnop|nop|op|p|||mn|no|op|p|||mn|no|op||
|+----+---+--+-+|+----+---+--+-+|+--+--+--+-+|+--+--+--+|
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l|||mn|no|op|p||          |
||mnop|nop|op|p|||mnop|nop|op|p||+--+--+--+-+|          |
|+----+---+--+-+|+----+---+--+-+|            |          |
||mnop|nop|op|p|||mnop|nop|op|p||            |          |
|+----+---+--+-+|+----+---+--+-+|            |          |
+---------------+---------------+------------+----------+

¤U­Ó«e­Ó¦r·J¯Á¤Þ¥D¿ï³æ