最近の仮想マシン環境とプロビジョニング

昔夢見ていた「コンピュータとネットワークの構築と管理をスクリプティングする」ことは，今は実現されていて，それも簡単に，素早くできるようになっている。

仮想マシン環境のスクリプティング

virtualBox, vagrant, veewee, chef

Base

VirtaulBox.app

.dmg でインストール。

ネットワークの設定

vagrant@

VirtualBox.app の boxen をrubyから扱うツール

ほとんど veewee の下請け

veewee @rubygem

install

  • % gem install veewee %

初期boxの作成

  • % veewee vbox template %

  • % veewee vbox define 'freebsd-9.1-base' URL %

  • % veewee vbox build 'freebsd-9.1-base' %

    • % ssh % し，postinstall.csh を % su - % するところでコケる。

    • % su - % がだめらしい

    • マウスとキーボードがVirtualBox.app に取られっぱなしになる。

    • コマンド+C で回復。Terminal から postinstall.csh を実行した

とりあえずここまで

冬の自転車通勤記録 2013~2014

2014.1.24

往路 巣子駅側

  • 天候 :: 晴れ，-8℃，ボトルの水はカチンコチン。

  • 6:45 - 8:10, 1h25m

  • 車道路面 :: 降雪なし，氷結なし，側道に積雪あるがほとんど邪魔にならず

  • 服装 :: 手袋3枚重ねでなんとか冷えずに，靴下2枚上は厚手山用しかし少し冷える

    毛糸の帽子とヘルメット着用，首巻き

    レーサーパンツ，股引，厚手オーバーパンツ，ちょうどいい感じ。

    薄手レーサージャージ，ヒートテックインナー長袖，アノラック，始め少し冷える

山王町から長田町，梨木町，館坂，上堂，4号線

問題なく車道走行可。

4号線 〜 跨線橋まで

歩道も車道も走行可。

4号線跨線橋から盛大まで

歩道走行可能。車道は一車線，積雪で狭く，走行は迷惑そうだが，

復路 55分

すべて車道走行可能。

路面は乾いている。

2014.1.21

2014.1.10

冬道を盛岡大学へ

MTBサイクリング 2014.1.7

お昼休みサッカーに代えて，正月肥えを正すべく，長めの距離のMTBライドを目論む。 はじめは持久力と足腰の筋力確認のためだったが，途中から盛岡大学への通勤路の確認も目的となる。

往路（山王町から滝沢砂込 16.8Km)

山王町から長田町，梨木町，館坂，上堂，4号線

問題なく車道走行可。

4号線 〜 跨線橋まで

歩道も車道も走行可。

4号線跨線橋から巣子あたりまで

歩道走行可能。車道は一車線，積雪で狭く，走行は迷惑そう。

巣子から別れ

歩道走行不可。車道一車線なので，対向車が多いときトラックが来ると降りて避ける必要有り。

別れから森林公園手前まで

4号線車道，二車線なので大丈夫。

歩道はほとんど未踏。

森林公園付近から盛大まで

4号線は一車線，歩道も未踏。ここの辺りの数百メートルが問題。

復路

森林公園から県大まで

歩道はきちんと雪がかいてある。走行可。

タイヤの空気圧を下げることに気づく。グリップ感がぜんぜん違う。アイスバーンもそれほど怖くなく走れる。

車道はいっ車線だが交通量が少ないので走行可。

県大から巣子，跨線橋

通学路は雪かきしてある。他の歩道も多分走行可。松並木辺りは怪しい。

車道はいっ車線だが交通量が少ないので走行可。

2013.冬のお昼休みサッカー

2013.10

2013.12.25 (Wed) 2x2

先々週末の雪はなくなったが、グラウンドは早朝の凍結、お昼の緩みで、ぬかるんでいる。

サークル棟前はなんとかプレー可能。

教育学部の学生さんが顔を出してくれるが、僕と二人きりだったため、雪上サッカーを約束して、別れる。その後、yamanakaさん, nabeさん, s-:, 学生さん、４人で。

yamanakaさんはお子さん誕生後、初。

2013.11.14 (Thu) 5x5

西平研多数+nabe,akira,chiba,yamanaka,s

今朝冷え，お昼に融け始め，表面滑る。

2013.11.13 (Wed) 6x5

西平研+教育２名+nabe,akira,chiba,yamanaka,s

2013.11.06 (Wed) 5x5

レベル高かった。

2013.11の畑

畑

2013.11.24

冬越し野菜の掘り上げ

  • タマネギ

  • ブロッコリー類 まだまだ収穫できそう

もう少し育てたい野菜

  • 春菊

2013.11.23

  • ゴボウの掘り上げ

  • キャベツ2個

  • ダイコン1/3 ８本

  • タカナ 大株６株

  • チンゲンサイ，小松菜の若菜，一列づつ

  • 甘みカブはすべて収穫 大成功でした。柔らかくて香り高くて甘くて

  • チヂミなもすべて収穫 大成功でした。柔らかくて

  • 茎ブロッコリー 中心部を初めて収穫

2013.11.16

  • ダイコン1/3 収穫

  • 白菜２株収穫

  • キャベツ２株収穫

  • タカナ，チヂミ菜 半分ほど収穫

2013.11.09

  • 小松菜，チンゲンサイ，二十日ダイコン，コカブ，春菊

    • １０月に種まきした葉っぱもの。

    • 順調だが，生育遅し。今月末まで大きくなれないかも。

  • 甘みカブ

    • 大きいのは10cmくらいになっている。

    • 甘くて柔らかくて香りよくて，そのままかじっても美味しい。

  • チヂミ雪菜の逐次収穫

  • タカナはまだ成長している。まだ収穫せず。

  • ナバナは収穫を終える。

    • おひたし，辛子和えにする。

    • 茎の歯ごたえと柔らかさと旨み

  • なすの切り戻し

    • 花は咲いたが，このところの寒さでダメになった。

    • 来年はもっと早くに切り戻そう。

  • にんにく順調。

  • タマネギ順調。

  • ダイコン順調

    • 少しづつ収穫始める。

    • 凍らないようにワラをつかって土の中で保存するといいそうです。大家さんの奥さん談。

  • キャベツ類，虫食いがひどいが，育ちは順調。

    • 早生の一株を収穫。

    • 茹でて味噌マヨで。しゃきっとして美味しい。

  • 白菜収穫

    • 買った苗の分は収穫終わり。全部で４株でした。

    • 来年は一畝８株ぐらいがいいかな？

    • 種から育てた６株も順調だが，大きくなる前に畑が終わりそう

  • レタス順調

    • 外の葉を収穫。美味しい。

  • 春菊順調

    • まだ大株にならず。時期がおそかった。

  • ネギ順調

    • 少しづつ収穫。

    • 土寄せを終えて，新聞紙でくるんだ。

  • ゴボウ 掘り上げ中，苦戦。

    • ゴロンとして太いところでも，しゃきっとして美味しい。

2013.10 の畑

畑

2013.10.23

  • 小松菜とチンゲンサイの間引き

  • 甘みカブ

    • 大きいのは5cmくらいになっている。育ちの悪いのを間引く（ことに）

  • 小松菜の逐次収穫

  • チヂミ雪菜の逐次収穫

  • タカナの育ち悪いカブを間引く

  • ナバ菜の育ち悪いカブを間引く

  • 新生姜を植えてみたのは

    • 新芽がでたが，土の中でくさり気味，大きくなっていない。失敗。

  • なすの切り戻し

    • 時期が遅かったが，順調に育っている。

  • オクラは終わり

  • にんにく順調。

  • タマネギ順調。

  • ダイコン順調。

  • キャベツ類，虫食いがひどいが，育ちは順調。

  • 白菜順調

  • レタス順調

  • 春菊順調

  • ネギ順調

  • ゴボウ 掘り上げ中，苦戦。

岩手60

岩手60は、岩手県のシニアのサッカーチームです。2013年9月から参加しました。

  • ねんりんピック2013高知に参加が決まりました。- 2013.10.05

2013.10.25~10.30 ねんりんピック

10.25

  • 6時盛岡駅集合，新幹線で東京へ

  • 東京駅からバスで羽田へ

  • 羽田から高松空港へ

  • 高松空港からバスで高知へ，ホテルへ

  • 岩手県の結団式

10.26

  • バスで総合開会式会場へ

  • 地元小学生との交流，がんちゃんグッズを渡し，喜ばれる。

  • 入場行進

  • バスで，サッカーなどの開会式会場へ

  • 表彰式，高齢者，女性など

  • 宿までバスで, 10人部屋，旅館かとり

10.27

  • 9:00 岐阜戦。引き分け。

  • 時間がずれての福岡戦。相手は初戦。引き分け。

10.28

  • 12:00 和歌山戦 右のサイドバックでフル出場。後半の最後息が上がり気味。

10.29

  • 桂浜観光

  • 金毘羅さん

  • 瀬戸大橋を経て，倉敷へ，

  • 美味しいホルモン鍋の店で飲み会

10.30

  • 倉敷観光

  • 岡山後楽園観光

  • 伊丹から花巻へ

  • 花巻空港から，清志さん，正勝さん，武田さんと一緒に，武田さんの車で盛岡へ。

  • 到着。夢のような6日間でした。

2013.10.19 花巻スポーツキャンプ村 10:00-12:00

ネンリン前の最後の練習。 - サイドバック、ボランチ、フォワードの連携を練習。三角パス、ドリブル、スルーパス。

練習試合 - 第２ハーフから.　4231の右のボランチで

  • 走りとスタミナは自信がついてきた。攻め上がれるし、守りに戻れる

  • 守りのときのマークを忘れがち

  • パスを受ける前に、周りを見ること

  • フリーシュートのチャンス４回。決まったのはオフサイドの判定。残りは、キーパーに止められる。シュートコースが見えない。思うように蹴れない。

行きは輪行、帰りはサイクリング。

  • 4号、石鳥谷町内、４号。田舎道を走りたい。

  • 石鳥谷で前輪パンク。

2013.10.12 花巻スポーツキャンプ村

今日は，14:00から盛岡で勉強会なので，行きも帰りも輪行。

  • 07:15 - (自転車) - 07:55 - 8:30 - (自転車, パンク) - 9:40 - (練習)

  • 12:15 - (自転車，空気入れ，甘い) - 12:45 - (袋詰めに時間かかる) - 13:15 - 13:50 盛岡駅

雨が降ったりやんだりだが，皆さんの顔に躊躇の気配はない。雨でも当然練習するらしい。

今日は初スパイク。雨の芝でも全く滑らないが，止まりすぎて足への負担が心配。違和感は全く感じなかったし，疲れや痛みもなかった。アキレス腱付け根の靴ずれ，最近のスパイクでは，できないんですねぇ。

ねんりんピックチーム。右のサイドバックで。3ハーフ中２ハーフ。最初のハーフは使ってもらえなかった。

今日のプレーの反省

  • 走り 走り続けられたし息も上がらなくなってきた。自転車通勤が効いていると思う。

  • 守り

    • 攻められている時の自分のいる位置の確認

    • オフサイドラインを保ちつつ下がるとき

    • 人数少ない時，逆サイドからの攻めの時の守り方

    • 攻め上がった後の戻り

  • パス

    • 受ける前に回りの状況確認すること

    • 足元近くへゴロでパスすること

    • コンパクトに陣形をたもつこと

  • 攻め

    • 攻めの時の上がりはいい感じ

    • 遠くからのシュートは力まずに

    • シュートは落ち着いて，枠をはずさないように

2013.10.5 花巻スポーツキャンプ村

今回も，仙北駅から輪行で花巻駅まで。駅から 9km/30分で練習場へ．一試合分のプレー後，自宅まで46Km/3時間自転車で。今回は4号を戻る。

ねんりんピック組の右サイドバック。

2013.9.29 花巻市民大会

花巻市民チームとして参加、花巻のチームと二試合行ないました。

僕は、右のサイドバックでフル出場しました。ある程度動き回り、あがってパスを受け、センタリングをあげたり、ラストパスを出したりできるようになってきました。

2013.9.21 北東北3県チームでの対抗戦

鈴木監督の車で，安比ASPAサッカー場へ。温泉組合が維持管理している芝のサッカー場。

初めての試合出場。二試合出場。 八戸のチームに2-0で勝利。秋田のチームと1-1の引き分け，だったと思う。

2013.9.14 岩手60初参加

岩手60は，鎌田先生に紹介されたチーム。ようやく監督に連絡し，参加することに。 花巻キャンプ村まで，監督の車に乗せてもらう。

60代，70代，82歳も一人，みんなやる気。20ハーフのゲームを2試合。僕は半分だけだったが，かなりの人は4ハーフをこなしている。ちょっとびっくり。

意識も技術も体力も，僕の想像をはるかに超えていた。

2013.10 のお昼休みサッカー

2013.11のお昼休みサッカー

2013.10.23 3x4

月曜日は3人でゲームできなかった。ゲーム，久しぶり。

(itou, chiba, watanabe), yamanaka, 学生さん2人と自分。

キビキビした，パス主体の，速い，動きのある，面白いゲームでした。岩手６０での活動のせいか，体が動きます。

終了後の自主練

シュート練習:

  • 右サイドから右ポストへ向かって

    • インサイドで強く蹴る。方向が定まらず。

  • 右サイドから左サイドネットめがけて

    • インフロントで，上気味に。

    • ボールを良く見れば，少し強いシュートが打てる

    • 立ち足の向き，高さのコントロール，全然定まらず。

スローインの練習:

  • 上半身が半端無く弱っているのを実感。

  • 素早いボールを入れられるように，

  • 遠くへ投げられるように

2013.10.10 6x6

木曜日は，西平研の午前ゼミがあるので，たくさん集まる。

yamanaka, chiba, watanabe, s

初スパイク。まあ違和感なし。靴ずれなし。強くボールが蹴れるきがする。

ゲームが，居残りでキックの練習30分程度。最近始めた。

  • インサイド

    • 強くけれない。

    • 正確にけれない。左右と高さ。立ち足の向きがずれている感じ。高さ方向は，失敗しなければいい感じ。

    • 体と足の使い方に違和感あり。

  • インフロント

    • ボールの芯をけれない。芯を蹴る位置と蹴り方をずっと探っているが。。。

    • 左右高さの感覚はまあまあ。

  • インステップ

    • 芯がけれないが，だいたい真っ直ぐには蹴れる

2013.10.x 3x3

教育の２年生が自ら参加しに来た。去年一緒にやった人だった。 （なんと後日，盛大へ通勤サイクリングの途中，分かれ近くのバス停前ですれ違った。）

2013.10.02　5x5, 久しぶりのハーフコート

後期が昨日から始まりました。 中高年層は全員、西平研は４人（まだ全員そろわず）、教育の二人が久しぶりに参加。 久しぶりにハーフハーフコートでゲームができました。

マテリアル、メディア、社環、留学生の関係者の皆さん、また始めましょう！

2013.09 のお昼休みサッカー

9/25 4x4

nabeさん、itouさん、chibaさん、西平研４年生４名。　　　

chibaさんは、仙人峠越えマラソンにでるため５周回後参戦。

9/9 2x2

いい天気なのに少なくて，残念．

個人的には，週末，岩手６０の見学を決めたため，前後に練習の時間をとることに．

9/6 3x3

今年の盛岡の夏は雨多し．雨で中止の回数は，異例の多さ．集まる人数も少なく，やるぞ感の出鼻をくじかれる日々．不燃焼感が続いている．

久しぶりに，晴れた爽やかに一日が始まる．

今週は大学院入試．終了し久しぶりにメディアから３人が参加． ナベさん，yamanakaさん，僕の６人．ハンドコートで横倒しゴールの3x3．

切れない，動けない．

でも，久しぶりに晴れた空の下，爽やかな風の中，楽しいひとときでした．

もやもや頭と体が，スッキリ．夜中の地獄の足つりが心配だが...

2013.09 畑の記録

畑

9/9 家園

春早生キャベツ2, ブロッコリー，白菜，レタス類の苗作り

にんにくのポット苗作り，開始．6/60.

9/8 農園

キュウリは葉がかなり枯れかけている．そろそろ終わりかな．

トマトは実を１０個ほどつけているが，ほとんど赤くならない．最近雨の日が多いせいか． 今週は天気がよさそうなので，赤くなるかも．

ナスは，順調に見をつけて，少しづつだが大きくなっている．

オクラは順調．2~3日に1~2個収穫できる．

葉物野菜の種まき，大成功．すべて発芽している．

ダイコンは，５粒づつまいて，４〜５芽発芽．双葉がなくなっているものがあるが，鳥か虫に食べられたか？

ホーマックで購入した秋野菜の植え付けも，大成功．しゃきっとしている．心配だった茎ブロッコリー一株もたぶん大丈夫．

9/7 家園

ホーム玉ねぎをポットに植える

  • 25個

  • 頭が少し隠れる程度に土を入れる

  • 発芽後少し成長したら畑へ，

残土の再生

最近は残土10に下記を混ぜている

  • 鶏糞，牛糞，半々にし，２程度．
  • 油カス，軽石，バッドマグノ，草木灰，を適当な量．
  • 酸性度は 6.5~7 程度

9/5 葉物野菜の種まき 農園

チヂミ雪菜の種まき (no.4)

  • ３列，筋蒔き

甘みカブの種まき

  • ３列筋蒔き

小松菜の種まき

  • ３列筋蒔き

菜の花の種まき

  • ６箇所，５粒づつ

9/2 農園

畝立て

  • no.6 種まき用に広めに

  • no.7 白菜一列用に狭めに

  • no.8 キャベツとブロッコリの２列用に広めに

キャベツ (購入株)

  • 早生３株，中生３株

白菜 (購入株)

  • 早生２株，中生２株

芽キャベツ，すずなりキャベツ，スティックブロッコリ（セニョール）x2, ブロッコr−

  • キャベツ横に植える

苗の植え方

  • 鶏糞と牛糞，油カスとバッドマグノ少々，

  • 混ぜてよく耕す

  • 株をおいて，水を注入

  • 深植え気味に，軽く押さえ，しきワラをまく

  • スコップでよく耕し

9/1

畝立て

雨後の土は，鍬が入りやすく，砕きやすい

通路のダンボール敷は，必要ないかも

ダイコンの種まき

  • ２畝 (no.7, no.8)

    • 5粒/箇所，８箇所/畝

    • 間引きながら2本立ちに

  • 品種は優秋

３日で８０％発芽

やりたいこと？

仕事をやめたのは，結局，「本当に好きなことは何なのか」を洗い出すため，だった．

しがらみ，時間，視点，を転回する．時間の転回が一番ぼんやりしている．

自分と妻，家族，ご近所，地域社会，インターネット社会の付き合い，再考．

考える事と時間はたっぷりある．

ありがとう，今年の夏野菜

畑

今年の夏野菜を食べ納めてもらうべく，エダマメの会，ゴーヤカレーの会，最後の夏やさいの会，を行いました．

2013.8.31 ノアちゃん達と最後の夏野菜の会

ノアちゃん+2, 我々2名

うちの野菜

だだちゃ豆のずんだおはぎ，茹でダダチャ豆，ナスの素揚げ，茹でオクラ，ニンジン-ダイコンの入ったそうめん汁，ミニトマト，キュウリと青トマトのつけもの，茹でとうもろこし．

ゴーヤをごちそうできなかった．

ゆでエダマメ

採りたてすぐ茹でではなくて，塩振り半日後茹でる方式を採用．柔らかくて塩の旨みが染みこむ，豆の旨みも残る．

お茶

  • 青龍水で水出ししたダージリン．感想はなかったが，自分的には，すっきり香り高いお茶ができました．

  • キャメルのコロンビア．カフェイン摂取に注意すべき時もあるんですね．これまた感想はいただけませんでしたが．自分では美味しいコーヒーが入りました．

ノアちゃんはミニトマト好き，とうもろこし好き

えだまめよりも，ずんだよりも，ミニトマトをいっぱい食べてくれた．

茹でたとうもろこしも，ミニトマトの前後，全体で一本食べてくれた．

会の後

美味しいお米を味合うために，精米機を買った．届いた．コンパクト!

美味しいお米は，卒業生の作った秋田こまち．秋田のカナングループが作るこめ．

その卒業生が訪ねてくれる．お構いできなくてすみません． くん炭とじゃがいもを頂いた．

2013.8.29 ゴーヤカレーの会

先週のエダマメの会では，たくさんの参加者がいるものかと．

残念ながら，二人だけの開催．

美味しかった．

2013.8.22 エダマメの会

採りたて「湯あがり娘」の試食会．

参加者: 鈴木家２名，kana-chan, chiba-kun, tommy, kanako-san, yu-kun

料理: エダマメ，ゴーヤのツナサラダ，キュウリのかくてき，...

飲み物： 水出しコーヒー，あきあじ大集結．

kana-chan と yu-kun の辛味が深夜まで

2013.8 畑の記録

畑

6月 7月

2013.8.22, 29 エダマメの収穫

今年のエダマメ

  • 湯あがり娘 1畝20箇所，1箇所できるだけ1本

    • 直蒔き，2粒，発芽率80~かな，

    • 発芽しなかった箇所には育苗したものを後から植える. 成功

    • しっかりした苗になって，うまくできた．

    • 来年は，2株づつ，16株ぐらいがいいかなと思っている

  • ダダチャ豆 1畝20本，

    • 植え過ぎた．徒長し，倒れたりして，うらなりの株が多かった．

    • 株間を開けて，土寄せ，支柱が必要．

    • でも，どんな株でもいい味

  • 遅植え湯上がり娘

    • 植えそびれた湯あがり娘を，7月にはいって3株植えてみる．

    • さて，どうなるでしょう？

2013.08.23

メークインの収穫

  • 地上部はほとんど枯れかかった状態．ウィルスにやられたと思われる株は茶色く変色し，腐っている状態に

  • ウィルスにやられた株が半分ほど，芋が小さい

  • ウィルスにやられていない株は，大きな芋がなっている

    • 4~5茎に芽かきしたのはよかったかもしれない

    • 種芋を切らずにうえたのもよかったかもしれない．

  • 時期的には遅くはないと思った

エダマメの収穫

湯あがり娘残り６株をすべて収穫．

  • 実はパンパン，数も多い．

  • 実がすこし黄色みを帯びてきた．収穫おくれか

  • ゆでてもプリっとしているが，少し固めか? 自分的には好きだけど．

ダダチャ豆の収穫はじめ

  • 徒長気味．支柱を建てないと倒れている

    • まだ実の入りきっていないのもある

    • 湯あがり娘にくらべ，実の数が少ない

ニンジンの収穫はじめ

５月にまいたニンジン，葉がしげり，倒れ始めている

試しに通路側の何本かを抜いてみる

  • 密植しすぎか？

  • おおきな株は２つに割れている

  • 小さな株は柔らかくて美味しそう

少しづつ収穫していこう

2003.08.09 種まき

この日の種まきは，夜から翌日の大豪雨のため，発芽率悪し， - 植え土表面が細かな土みじんで覆われ，後の日照りで表層が固くなっている - 種が流れた

たかな， - 2013春用，50cmx3列，バラマキ

時なし子株 - 2013秋まで用，50cmx3列，筋蒔き

  • ソラマメ，売っている豆の2/3ほど。７さや収穫。前回ナマで食べるのは不評だったので， さやごと焼く，茹でるで。さやごと焼くのは美味しいかも

  • サニーレタス，３株。とう立ちし始めたので。大きなカブになりました。

  • ハツカダイコンの収穫

  • コカブの収穫

モバイルネットワーク環境

2013年9月で WiMax ルータの利用期間が終了するので，新しいモバイルネットワークを探している．

条件

  • 家のネットワークは既設．

  • 256KB/sec で十分．安いことは必須．

  • 電話がかけられると嬉しい

ネットワーク

3GでもLTEでも使えるOCN モバイル ONE，月980. 決定．

ルータ

android端末にするか色々悩んだが， 結局コストパフォーマンスで，ルータに．

GP02,

  • Amazonで7,000円ほど．

  • SIMフリーでネットワークロックがかかっていない

同じSIMフリーなのに，GP02は使えるが，D25HWが使えない理由

GP02

  • 無事使えました．(2013.9.5)

SIMカード形状変換アダプタ

  • 購入しておくと便利かも

使えなかったルータ

イー・モバイル Pocket WiFi【D25HW】

  • Amazonで 2,100円程

  • SIMフリーですが，ネットワークロックがかかっている！ ドコモの回線では使えませんでした．SIM フリーなのですが，使える周波数帯のロックがかかっているそうです．http://intellistation.blog73.fc2.com/blog-entry-198.html

  • 圏外になったままの状態でした．返却！

050+

  • 申し込み，即使えました．

  • 300円/月で電話番号がもらえます。

  • 家の無線LANにいて，複数端末の時，どこにかかってくるのか？

学習相談＠iwate-u.ac.jp

2013.07.23

互換と置換の質問「置換 (1 2 3 4) を互換で表せ」

  • 長さ２の置換が互換

  • 定義域と値域は数字列 1234とか，12345 とか

  • 1234・(12) -> 2134, s_12("1234") = "2134"

  • 4字の問題を3字に，s_12 を行うと1番目は固定 "2134"

  • 残り3字の問題を2字に，s_23 を行うと1,2番目は固定 "2314"
  • 残り2字の問題は互換に，s_34, "2341" で求まる

(s_34 (s_23 (s_12 ("1234")))) = "2341"

互換の合成

互換間，互換と置換の法則

  • (1 2) (1 3) == (1 2 3)

  • (1 2) (2 3) = (1 3)

  • (1 2) (3 2) = (1 2) (2 3)

  • (1 3) (1 2) = (1 2) (1 3)