ループ展開は、ループのための分岐回数を減らす技法である。指定されるループ回数が不明な場合、ループ展開すると回数が合わない場合が出てくるので、ループの途中にジャンプすることで調整する。例えば、8回ぶんのループを展開した場合、指定されたループ回数が8で割り切れないなら、その回数を8で割った剰余のぶんだけ処理を実行する位置にジャンプさせる。ダフはそのような最適化を検討していてCでの技法を発見した。
Duff's Device（ダフスデバイス）とは、C言語での可変長の連続的コピーをループ展開により最適化実装するときに直面する端数の問題を解決するための手法である。C言語のswitch-case文が持つフォールスルーを利用して、アセンブリ言語で行われる技巧をC言語で実現している。1983年11月、ルーカスフィルムで働いていたトム・ダフが発見した。
平成20年（2008年）12月、地元の郷土史家の調査で偶然、兵庫県明石市人丸町の曹洞宗雲晴寺の無縁墓の中に妻岩の墓と共に発見された。柴任墓は表面に「固学道随居士」裏面に「柴任氏道随重矩 墓 産干肥州熊本城下卒於播州明石城下」右側面に「寳永七庚寅年閏（以下剥離欠損）」左側面に「柴任右傳士重正 大原清三郎正矩 建之」とあり、表面の上部に柴任氏の家紋に並べて本姓本庄氏の家紋が彫られていた。妻岩の墓は表面に「清窻貞殿大姉 霊位 元禄十五壬午歳 十月十八日」、裏面に「柴任氏重矩妻大原氏岩 墓 産干和州郡山城下卒於播州明石城下」左側面「孝子 大原氏清三郎 建之」とあり、表面上部に大原氏の家紋が彫られている。この墓の碑文は『武州伝来記』及び『本庄家系譜』記事内容を裏付けるとともに、両史料に不一致であった柴任の没年を決定づける重要な発見となった。雲晴寺は宮本武蔵作庭伝承があり、その庭も近年発掘されていることから、柴任は先師宮本武蔵にゆかりの深い雲晴寺を自身の菩提寺にしたものであろう。
『本庄家系譜』は柴任が死去したのは宝永7年（1710年）閏8月20日としている。一方『武州伝来記』の柴任死亡日は宝永3年（1706年）丙戌閏8月20日である。双方4年もの隔たりがある。いずれも「閏8月20日」は合致している。当時の暦は太陰太陽暦で、2、3年ごとに閏月を置いた。閏月がある年は1年13箇月で同じ月が二度あり、後のほうを閏何月といった。それだけに生没年の考証には印象の強い月になる。宝永年間の閏月のある年は2年、5年、7年である。その内閏月が8月の年は宝永7年だけである。これにより『本庄家系譜』の宝永7年が正しく、『武州伝来記』の宝永3年は丹治峯均の記憶違いと判断される。柴任三左衛門重矩、号固学道随、享年85。
佐伯鶴城高校では1960年、秋季九州大会東九州予選で中津東を相手に完全試合を達成。卒業後の1962年に阪急ブレーブスへ入団。1965年には二軍で13勝を記録して投手部門のタイトルを総なめにするが、一軍では思うように成績は伸びなかった。1967年に大石清との「大石交換」で広島カープへ移籍、これが大きな転機となる。当時の長谷川良平監督と出会い、「そんな球投げていて、勝てないわけないだろう。ど真ん中狙って思い切り投げればいい」と言われ、大石は開眼する。「タコ踊り」と呼ばれた、大きな体を十分に使ったダイナミックなフォームから繰り出される直球で打者を抑え、先発・中継ぎとフル回転し、移籍1年目に10勝を記録。1968年には自身初の開幕投手を務め、その後も1969年から1972年まで4年連続2桁勝利を挙げた。2度目の開幕投手を務めた1971年にはシーズン最多無四球投球を記録し、オールスターにも4度出場（1967年, 1970年 - 1972年）。1975年に白石静生と共に、児玉好弘・宮本幸信・渡辺弘基との交換トレードで、阪急へ復帰。1977年には戸田善紀・森本潔・小松健二と共に稲葉光雄・島谷金二・大隅正人との4対3の大型トレードで中日ドラゴンズへ、1979年には南海ホークスへ移籍。南海では0勝に終わった。関西（阪急）→広島→関西（阪急）→名古屋→関西（南海）と渡り鳥の様な生活を送ったが、1980年に引退。引退後は日本短波放送「たんぱストレートナイター」解説者を経て、1993年から台湾プロ野球・統一ライオンズ投手コーチに就任。1994年からは監督に昇格し、王漢や郭進興の活躍もあり、1995年に前後期優勝を果たす。同年11月のアジア・パシフィックスーパーベースボールでは、台湾のプロ野球チームとして初の国際大会優勝を成し遂げる。1996年は後期優勝を果たし、台湾シリーズでは前期優勝の味全を倒す。大石自身も2年連続で最優秀監督（最佳総教練）に輝いた（1992年には森下正夫が、1993年と1994年には山根俊英（共に兄弟）が受賞しており、実際には5年連続で日本人監督が受賞している）。退団後の1998年より沖縄県名護市に移住し、沖縄フルーツランドの支配人を務める傍らで安仁屋ベースボールTRY、名桜大学の投手コーチを歴任。2016年からエナジック硬式野球部の監督に就任したが、現在は退任。