>>66
学部必須講義のFORTRAN講習でFORTRAN言語、おばかちん過ぎ。
数式をプログラムに自動変換できないなんて・・・信じられない労力の浪費だ・・・俺が何とかしなくては(嗚呼勘違い
↓
数式処理というものがあるらすぃ。
↓
Dylanの作者が作った XLisp, XSchemeで数式処理の独学開始！
MITのScheme本(アルゴリズムの構造と実行、だっけ？あのλ教入信用パンフレット)と、CQ出版季刊誌の数式処理特集(ﾟдﾟ)ｳﾏｰ
↓
学科のSunに　Symbolics Macsyma (Sun3用)が入って、ﾋﾞｸｰﾘ
Lisp文化の底知れないﾊﾟｩﾜｰに感動、UNIXとXとGNUとWIDEが気になり出す
↓
自宅PC購入、Smalltalk/VとMINIXとLisp三昧の日々
↓
隙間時間で卒論やら修論あげつつ (専門は物性基礎論〜物性計測のはずなんだが)、
心の中の本業は 386BSD上で DOE MAXIMAの稼働環境構築〜習得〜拡張準備と、
なんか型推論やら型システムの勉強、
あと岩波コンピュータサイエンスシリーズとか、構成的型論理とか構成的プログラミング本(PX)もつまみ食い、と。ついでに証明的プログラミング(BunBorgだっけ？)もｗ
↓
結局、数千万の実験装置を占有しながら、本業は捗らなかったため、おいしい将来は全部雲散霧消！
↓
そんなおいらですら、10年以上前の学生時代から数式処理やら証明的プログラミングの基礎にある項書換系を念頭に、手による項書換系シミュレーションとして、リファクタリングを実践していた。
↓
要するに、ＸＰとリファクタリングは、もともと無関係ってこったｗ