ダブルプライムって何の単位ですか？

http://www.thorlabs.com/Thorcat/0800/0893-E0W.pdf


たまにこういったダブルプライムという単位を見かけるのですが、これって何の単位なのでしょうか？
恐らくcmかinchだと思うのですが、
mmの単位で一緒に使うのはなぜなのでしょうか？

No.2 ベストアンサー 回答者： siegmund 回答日時： 2008/09/05 10:58

ダブルプライム「"」はインチです．

図中には 0.92mm，0.036" のような記述がありますが，
1" = 2.54cm ですから 0.92[mm] = (0.92/2.54)" = 0.03622..." ですので，
この記述は同じ長さを mm 単位とインチ単位で表していることになります．

「"」でなくて，inch や in と書くこともあります．

なお，「'」はフィートです．
12" = 1' なのがなんとも・・・

なお，角度の分と秒も「'」と「"」なので，気をつけないと間違うことがあります．

No.1 回答者： liar_adan 回答日時： 2008/09/05 10:50

調べたところインチの単位のようです。

http://ja.wikipedia.org/wiki/%E3%83%97%E3%83%A9% …

http://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%B3% …

24.5mm＝1inchですから、計算すると
2.47mm≒0.097inch
になるのでほぼ合っています。
我々にとっては、「mm単位だけでいいじゃねえか」と思いますが、
アチラの人にとっては、まだインチ単位の方が実感しやすいのでしょう。