a million dead-end streets

2018-02-01 複数の動画ファイルをDVD-Video (mpeg2)に変換

[]

ffmpegと同じ場所に置いた以下のバッチファイルドロップ

cd /d %~dp0
for %%V in (%*) do (
ffmpeg.exe -i  "%%~sV" -target ntsc-dvd -vcodec mpeg2video -s 720x480 -r 29.97 -aspect 16:9 -acodec ac3 -ab 192000 -ac 2 "%%~pV%%~nV.mpg"
)
pause                                                                                 

mp3に。

cd /d %~dp0
for %%V in (%*) do (
ffmpeg.exe -y -i  "%%~sV" -ab 192000 -ar 44100 "%%~pV%%~nV.mp3"
)
pause                                                                                 

2018-01-01 Office Starter 2010

[]

bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/PackageProperties.xml    "%~dp0PackageProperties.xml"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/71935000.cab    "%~dp071935000.cab"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/ConsumerC2R.ja-jp_14.0.7193.5000.fs.hmp    "%~dp0ConsumerC2R.ja-jp_14.0.7193.5000.fs.hmp"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/ConsumerC2R.ja-jp_14.0.7193.5000.sft    "%~dp0ConsumerC2R.ja-jp_14.0.7193.5000.sft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/descriptor.xml    "%~dp0descriptor.xml"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/click2run.msi    "%~dp0click2run.msi"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/click2run64.msi    "%~dp0click2run64.msi"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/Office.exe    "%~dp0Office.exe"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/launchofficeintl.dll    "%~dp0launchofficeintl.dll"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/autorun.inf    "%~dp0autorun.inf"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/Welcomedocument.dotx    "%~dp0Welcomedocument.dotx"  
rem bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/SetupConsumerC2ROLW.exe    "%~dp0SetupConsumerC2ROLW.exe"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/fc238e2f-550d-436a-a81f-1dc89cc2ff71.dsft    "%~dp0fc238e2f-550d-436a-a81f-1dc89cc2ff71.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/6690e788-7094-4aaa-ab25-432595a24f07.dsft    "%~dp06690e788-7094-4aaa-ab25-432595a24f07.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/2cc138c4-045a-4816-8fb3-47aee0295ca0.dsft    "%~dp02cc138c4-045a-4816-8fb3-47aee0295ca0.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/55e00817-b4c2-4cb9-bfd1-5d3f35e6b4bf.dsft    "%~dp055e00817-b4c2-4cb9-bfd1-5d3f35e6b4bf.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/0bd8bf30-9231-41df-a231-4e260c8e03f3.dsft    "%~dp00bd8bf30-9231-41df-a231-4e260c8e03f3.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/81ff03d3-4452-4e6c-b1e2-c9a971e38390.dsft    "%~dp081ff03d3-4452-4e6c-b1e2-c9a971e38390.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/76f57da2-71cb-445e-ad75-bf033913397a.dsft    "%~dp076f57da2-71cb-445e-ad75-bf033913397a.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/39d8a054-62f6-4aa8-8338-8692588f3408.dsft    "%~dp039d8a054-62f6-4aa8-8338-8692588f3408.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/b2e74fc0-849d-4743-9f01-3683deff8456.dsft    "%~dp0b2e74fc0-849d-4743-9f01-3683deff8456.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/43a3b179-6db3-46d7-916f-aaea213e5eda.dsft    "%~dp043a3b179-6db3-46d7-916f-aaea213e5eda.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/81dae326-cedb-4edc-bcf7-d31a7a8fe041.dsft    "%~dp081dae326-cedb-4edc-bcf7-d31a7a8fe041.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/15c39ef8-b6b1-43d4-95be-9eab0e9d9208.dsft    "%~dp015c39ef8-b6b1-43d4-95be-9eab0e9d9208.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/e4cebb53-e36c-4666-9a55-fb845773973f.dsft    "%~dp0e4cebb53-e36c-4666-9a55-fb845773973f.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/58fde916-f3f0-4d84-a81a-976021e1fd33.dsft    "%~dp058fde916-f3f0-4d84-a81a-976021e1fd33.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/1ff4ec96-dc30-4a04-a996-d69a9718fbf4.dsft    "%~dp01ff4ec96-dc30-4a04-a996-d69a9718fbf4.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/b64d2f58-852f-481f-a41c-dbf100e7ac91.dsft    "%~dp0b64d2f58-852f-481f-a41c-dbf100e7ac91.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/c356545e-66ed-4e67-a793-2f62538ee228.dsft    "%~dp0c356545e-66ed-4e67-a793-2f62538ee228.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/c1f9e35a-70b4-4f96-9169-5614cebe2d24.dsft    "%~dp0c1f9e35a-70b4-4f96-9169-5614cebe2d24.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/2aeddf88-a177-4627-b1ad-ae6f4e9709c6.dsft    "%~dp02aeddf88-a177-4627-b1ad-ae6f4e9709c6.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/640bfd78-2c0f-4e1a-be82-0c20486a80ec.dsft    "%~dp0640bfd78-2c0f-4e1a-be82-0c20486a80ec.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/83ce5a54-7515-45fb-a274-56b55505329a.dsft    "%~dp083ce5a54-7515-45fb-a274-56b55505329a.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/f91f5c12-1960-4a73-b6cb-a6d706bb9871.dsft    "%~dp0f91f5c12-1960-4a73-b6cb-a6d706bb9871.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/9018be66-bb54-4c16-a98b-3480c98eae97.dsft    "%~dp09018be66-bb54-4c16-a98b-3480c98eae97.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/233ceff5-5760-41b6-837f-3cf13cf3a452.dsft    "%~dp0233ceff5-5760-41b6-837f-3cf13cf3a452.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/49d0bfa8-17d3-46f9-afc9-bb9cd0bfa878.dsft    "%~dp049d0bfa8-17d3-46f9-afc9-bb9cd0bfa878.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/9e0cb224-116c-4e1f-b0bc-b9dffab59517.dsft    "%~dp09e0cb224-116c-4e1f-b0bc-b9dffab59517.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/1e289ced-6bec-4fa0-ae03-ea902105074e.dsft    "%~dp01e289ced-6bec-4fa0-ae03-ea902105074e.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/fe88cdbb-9efb-42da-8cbe-f46a40d38fac.dsft    "%~dp0fe88cdbb-9efb-42da-8cbe-f46a40d38fac.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/d1b1f5e4-47d0-4637-b6ee-521f7192d060.dsft    "%~dp0d1b1f5e4-47d0-4637-b6ee-521f7192d060.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/54b8fd84-d2f8-4a96-8dc7-0b173547284e.dsft    "%~dp054b8fd84-d2f8-4a96-8dc7-0b173547284e.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/b27b2588-9d23-4c13-a7c0-40606b1cc38c.dsft    "%~dp0b27b2588-9d23-4c13-a7c0-40606b1cc38c.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/691a2a28-a169-4ffb-ae47-b5fb00f4fd79.dsft    "%~dp0691a2a28-a169-4ffb-ae47-b5fb00f4fd79.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/ae4a4152-a79b-4906-81de-3ed015fbfb0e.dsft    "%~dp0ae4a4152-a79b-4906-81de-3ed015fbfb0e.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/389a08eb-48d7-41ef-9ad7-f9408753a7c7.dsft    "%~dp0389a08eb-48d7-41ef-9ad7-f9408753a7c7.dsft"  
bitsadmin.exe /TRANSFER htmlget http://c2r.microsoft.com/ConsumerC2R/ja-jp/14.0.4763.1000/8c8f5dfe-0384-420b-860d-191532105c0f.dsft    "%~dp08c8f5dfe-0384-420b-860d-191532105c0f.dsft"  

rem bitsadmin.exe /TRANSFER htmlget https://download.microsoft.com/download/C/8/F/C8FB22A4-054A-43DB-8E35-8B3FA89EEC40/click2run2010-kb2598285-fullfile-x86-glb.exe    "%~dp0click2run2010-kb2598285-fullfile-x86-glb.exe"  

rem bitsadmin.exe /TRANSFER htmlget "https://mmkoot.home.xs4all.nl/My-Repair/SetupConsumerC2ROLW (all lang).7z"    "%~dp0SetupConsumerC2ROLW (all lang).7z"

pause                                                                                  "  

SetupConsumerC2ROLW-ja-jp.exeフォルダ内に入れて「管理者として実行」してインストール。 その後、click2run2010-kb2598285-fullfile-x86-glb.exe を実行。

SetupConsumerC2ROLW

2017-06-13

[]

コントレラスばりの膝ついてからの送球とか見せようと思ってワクワクしてた。いまさらサッカーやれとか東大入れとか言われたら無理だけど、キャッチャーやれだから簡単」(川崎宗則、20170610)

2016-12-06 複数のbmpファイルをepsファイルに

[]

複数bmpファイルepsファイルにするバッチファイル。 要inkscape

20161206153431

一度、inkscapeを立ち上げて、[編集]>[Inkscapeの設定]>[ビットマップ]を上のように設定して(終了して)おく。

bmp2eps.batのようなファイル名のテキストファイルに保存して、 それにsvgファイルドロップする。

for %%V in (%*) do (
"C:\Program Files\Inkscape\inkscape.com" %%~nV.bmp --export-eps=%%~nV.eps --export-dpi=300 --export-ignore-filters --export-ps-level=3 --export-text-to-path
)

2016-08-04 Fujitsu FUJ02B1 & FUJ02E3 for Windows 10

2016-07-25 角&丸数字

[]

\usepackage{graphicx}
%%% 角&丸数字
\newcommand{\Kaku}[1]{\ooalign{%
\ifnum#1<10 \hfil\resizebox{.9\width}{.85\height}{#1}\hfil%
\else\hfil\resizebox{.6\width}{.8\height}{#1}\hfil\fi%
\crcr\raise-.3ex\hbox{\scalebox{1.3}{$\square$}}}}
\newcommand{\Maru}[1]{\ooalign{%
\ifnum#1<10 \hfil\resizebox{.9\width}{.85\height}{#1}\hfil%
\else\hfil\resizebox{.6\width}{.8\height}{#1}\hfil\fi%
\crcr\raise.1ex\hbox{\scalebox{1}{$\bigcirc$}}}}
%%%

2016-07-24 マーク用

[]

\newif\ifdr
\drtrue
%%% 
%%% アイウエオカウンタ
%%% 
\makeatletter
\def\@kkana#1{%
  \ifcase#1\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\or\else\@ctrerr\fi}
\def\kkana#1{\expandafter\@kkana\csname c@#1\endcsname}%カナ
\makeatother
%%% 
%%% 指定サイズの箱の中にテキスト
%%% \xbox[テキストの位置]{線の太さ}{縦}{横}{テキスト}
%%% テキストの位置は l/r/c で指定、デフォルトは c
\def\xxbox#1#2#3#4{{\fboxsep=0pt \fboxrule=#1%
\fbox{\hbox{$\vcenter{\vbox to #2{\vss\hbox to #3{#4}\vss}}$}}}}
\newcommand{\xbox}[5][c]{%
\ifx#1l \xxbox{#2}{#3}{#4}{\,#5\hss\,}\else%
\ifx#1r \xxbox{#2}{#3}{#4}{\,\hss#5\,}\else%
\ifx#1c \xxbox{#2}{#3}{#4}{\hss#5\hss}\fi\fi\fi}
%%% 
%%% マーク用箱:
%%% 答えを入れると箱とラベルを自動的に生成する。
%%% \drfalse とすれば答えの表示は消える。
%%% (例)次の\shikaku{}に当てはまる……
%%%    $1234+5678=\shikaku{6912}$である。
%%% 
\makeatletter 
\newcounter{markcnt}
\def\shikaku#1{%
  \def\marklbl{\empty}
  \@tempcnta\z@
  \@tfor \@tempa:=#1\do{\advance\@tempcnta\@ne%
  \addtocounter{markcnt}{1}
  \edef\marklbl{\marklbl\kkana{markcnt}}}%
  \ifnum\@tempcnta=6 \def\markwd{60mm}\else%
  \ifnum\@tempcnta=5 \def\markwd{30mm}\else%
  \ifnum\@tempcnta=4 \def\markwd{25mm}\else%
  \ifnum\@tempcnta=3 \def\markwd{20mm}\else%
  \ifnum\@tempcnta=2 \def\markwd{15mm}\else%
  \def\markwd{10mm}\fi\fi\fi\fi\fi
  \thinspace\xbox{1pt}{5.7mm}{\markwd}{\marklbl\ifdr\textcolor{red}{\tt\footnotesize#1}\fi}\thinspace}
\makeatother
%%% \sqrtをオプション付きまたはtxfonts/pxfonts等で使うとカウンタがずれるため:
\makeatletter 
\AtBeginDocument{\let\temp@sqrt\sqrt
\newsavebox{\myroot}%
\def\temp@Sqrt[#1]#2{\sbox{\myroot}{\ensuremath{#2}}\temp@sqrt[#1]{\usebox{\myroot}}}
\def\temp@SQrt#1{\sbox{\myroot}{\ensuremath{#1}}\temp@sqrt{\usebox{\myroot}}}
\def\sqrt{\@ifnextchar[\temp@Sqrt\temp@SQrt}}%
\makeatother
%%%

2016-03-22 複数のsvgファイルをepsファイルに

[]

複数svgファイルepsファイルにするバッチファイル。 要inkscape

svg2eps.batのようなファイル名のテキストファイルに保存して、 それにsvgファイルドロップする。

for %%V in (%*) do (
"C:\Program Files\Inkscape\inkscape.com" %%~nV.svg -E %%~nV.eps --export-ignore-filters --export-ps-level=3 --export-text-to-path
)

グレースケールのEPSにしたいなら:

for %%V in (%*) do (
"C:\Program Files\Inkscape\inkscape.com" -E %%~nV.eps --export-ignore-filters --export-ps-level=2 --export-text-to-path %%~nV.svg
gswin32 -dBATCH -dNOPAUSE -sOutputFile=%%~nV.pdf -sDEVICE=pdfwrite -sColorConversionStrategy=Gray -dProcessColorModel=/DeviceGray -dCompatibilityLevel=1.4 -sEPSCrop %%~nV.eps
gswin32 -dBATCH -dNOPAUSE -dLanguageLevel=2 -dCompressPages=false -dASCII85EncodePages=true -sOutputFile=%%~nV.eps -sDEVICE=eps2write %%~nV.pdf
)

2016-03-11 複数のWinTpicのファイルをEPSファイルに

[]

複数のWinTpicのファイルepsファイルにするバッチファイル

wtpic2eps.batのようなファイル名のテキストファイルに保存して、 それにWinTpicのファイルドロップする。

for %%V in (%*) do (
echo \documentclass[10pt]{article}>dummy.tex
echo \usepackage{color}>>dummy.tex
echo \pagestyle{empty}>>dummy.tex
echo \begin{document}\thispagestyle{empty}>>dummy.tex
echo \input{%%~nV%%~xV}>>dummy.tex
echo \end{document}>>dummy.tex
platex dummy.tex
platex dummy.tex
pdflatex dummy.tex
dvips -E -t unknown -D9600 -Z -o %%~nV.eps dummy.dvi
rem dvips -t unknown -o %%~nV.ps dummy.dvi
rem ps2epsi %%~nV.ps %%~nV.eps
)

2015-08-06 指定サイズの箱の中にテキスト

[]

サイズ指定した箱の中にテキストを入れる。

%%% 指定サイズの箱の中にテキスト
%%% \xbox[テキストの位置]{線の太さ}{縦}{横}{テキスト}
%%% テキストの位置は l/r/c で指定、デフォルトは c
\def\xxbox#1#2#3#4{{\fboxsep=0pt \fboxrule=#1%
\fbox{\hbox{$\vcenter{\vbox to #2{\vss\hbox to #3{#4}\vss}}$}}}}
\newcommand{\xbox}[5][c]{%
\ifx#1l \xxbox{#2}{#3}{#4}{\,#5\hss\,}\else%
\ifx#1r \xxbox{#2}{#3}{#4}{\,\hss#5\,}\else%
\ifx#1c \xxbox{#2}{#3}{#4}{\hss#5\hss}\fi\fi\fi}
%%%

2014-05-15 BMP>編集>EPS

[]

2013-09-06 エクサイトLTEのSIMでダイヤルアップ

[]

2013-08-26 宮本慎也

[]

「僕は野球を楽しむなんてできない。」。(宮本慎也2013年引退

2013-05-31 push のための k-9 mail の設定(省電力)

[]

2012-12-10 角中勝也

[]

「将来野球を辞めたら何もしたくないんです。“何もしないで暮らすには3億円必要だぞ”ってある先輩が言っていた。この何年かでそれだけ稼げれば」。(角中勝也2012年パ・リーグ首位打者

2011-12-19 最近斜め読んだ本

2011-05-23 美徳のよろめき

[]

精神を凌駕することのできるのは習慣という怪物だけなのだ」(三島由紀夫、美徳のよろめき)

2010-12-28 最近斜め読んだ本

2010-10-12 エリック・シュミット

[]

自動車自動で走行すべきだ。自動車の方がコンピュータより先に発明されたのは間違いだった」(Googleエリック・シュミットCEO、「TechCrunch Disrupt」イベントでの講演、2010年9月)

2010-10-11 最近斜め読んだ本

[]

×山川健一:僕のパッピー・デイズ(角川文庫
永井龍男青梅雨(新潮文庫
キャリー・マリス(福岡伸一訳):マリス博士奇想天外人生ハヤカワ文庫 NF

2010-09-09 山川健一

[]

人は二度生まれるのだ、とぼくは思っている。一度は、物理的にこの世に生まれてくる時に。そして、もう一度は、なにかのきっかけで自分というものを意識した時に。(山川健一オートバイのある毎日」、僕のハッピー・デイズ、新潮文庫

2010-08-25 沢木耕太郎

[]

旅は、やはり、どこか人生と似ているのかもしれない。ある時までは人生にすべてが可能だと思っている。だが、やがて、できることとできないことがあるのを知るようになる。同じように、旅も、ある時まではどこにでも行かれると思っている。少なくとも、行かれないところがあるなどとは思わない。しかし、歳を取るにつれて、行かれない土地というものがあることを知るようになる。そして、ある時、微かな悔恨とともに認めざるを得なくなるのだ。自分はあの土地にはついに行くことがないだろうということを。(沢木耕太郎「懐かしむには早すぎる」、チェーン・スモーキング新潮文庫

2010-08-24 最近斜め読んだ本

[]

沢木耕太郎:チェーン・スモーキング新潮文庫
カミュ(窪田啓作訳):異邦人新潮文庫
○岡潔・小林秀雄:人間の建設(新潮社)
×マーク・ストランド村上春樹訳):犬の人生中公文庫
福岡伸一:できそこないの男たち(光文社新書

2010-08-07 古いtxfonts用対処

[]

正しい対処は:txfontsのバージョンを新しくしてから、 /usr/local/share/texmf/fonts/pk/modeless/txr または /usr/local/share/texmf/fonts/pk/modeless/public/txr などを消すこと。

\usepackage[varg]{txfonts}
\DeclareMathSymbol{\frown}{\mathrel}{letters}{94}
\DeclareMathSymbol{\smile}{\mathrel}{letters}{95}
\DeclareMathSymbol{\smallfrown}{\mathrel}{letters}{96}
\DeclareMathSymbol{\smallsmile}{\mathrel}{letters}{97}
%
\makeatletter\@ifundefined{coloneqq}{\newcommand{\coloneqq}{\mathrel{\mathop:}=}}\makeatother

2010-05-17 本田圭佑

[]

――南アで戦うために必要なものは?

 「水と食べ物とベッドがあれば、とりあえずは準備できるかなと思います」 (本田圭佑CSKAモスクワ)、W杯帰国会見

2009-12-30 最近斜め読んだ本

[]

内田樹, 春日武彦健全な肉体に狂気は宿る―生きづらさの正体(角川Oneテーマ21)
×清水義範:行儀よくしろ。(ちくま新書
松井秀喜:不動心(新潮新書

2009-10-22 最近斜め読んだ本

[]

○阿佐田哲也:牌の魔術師角川文庫
△阿佐田哲也:黄金の腕(角川文庫
色川武大:百(新潮文庫
村上春樹回転木馬のデッド・ヒート講談社文庫

2009-10-15 村上春樹

[]

「…… 彼は凡庸という名のタクシーの中に閉じ込められていました。 ……」(村上春樹タクシーに乗った男」)

2009-09-29 3次元複素射影空間

[]

数学辞典第4版の1706ページのIXの表を見るとCP3R8にはめ込めるかどうかが分かっていないことになっているが、これははめ込めないことが示されているようである。「(∗): CP3R8にはめ込めないこと」がどこで初めて示されたのかよく分からないが、重要そうな文献は

  1. Sigrist, François; Suter, Ueli: On immersions CP3R4n-2α(n). Algebraic topology (Proc. Conf., Univ. British Columbia, Vancouver, B.C., 1977), pp. 106--115, Lecture Notes in Math., 673, Springer, Berlin, 1978.
  2. Crabb, M. C.: Immersing projective spaces in Euclidean space. Proc. Roy. Soc. Edinburgh Sect. A 117 (1991), no. 1-2, 155--170.
  3. Davis, Donald M.: Some new immersion results for complex projective space. Proc. Edinb. Math. Soc. (2) 51 (2008), no. 1, 45--56. ; arXiv:math/0602472

[i]のMath Reviewsには(∗)事実として書かれているが、文献は示されていない。[iii]のTable 1.9によれば(∗)は[i]で示されていることになっているが、[i]の論文の中にはそのようなことは示されていないと思う。[ii]のProposition 3.5に証明がある。また[iii]によれば[ii]には間違いがあるようだが、Proposition 3.5の証明には関係ないと思う。

ちなみに数学辞典第4版の1706ページのIXの表はかなりobsoleteなようで、少なくとも[iii]のTable 1.9によれば例えばCP5R16にはめ込めない。

2009-09-01 最近斜め読んだ本

2009-07-28 The bm package

[]

大抵大体これくらいで。

\newcommand\hmmax{0} % default 3
\newcommand\bmmax{1} % default 4
\usepackage{bm}