は所謂King Propertyで解けることで結構有名だが、$${\left(1\right)}$$はなかなかにややこしい。 まず部分積分を用いて以下のように変形する。 \begin{align} \int_0^1 \frac{\log\left(1+x^2\right)}{1+x} dx &= ...

次の定積分の値を求めよ。 $${\displaystyle I=\int_{0}^{\frac{\pi}{2}}\log(\cos x)dx}$$ $${\displaystyle x=\frac{\pi}{2}}$$のとき$${\cos x=0}$$なので、この積分は広義積分です。この広義積分が収束することは認めて良いこととし、この定積分を求めててみてください。高校数学の ...

ライフボートは、専用サーバーが不要で、PCの操作ログの収集と監視ができるLB アクセスログ2 Pro(以下、アクセスログ2 Proと略記)の販売を開始した。 本稿では、マイナンバー対策に役立つ機能を紹介したい。 マイナンバー作業PCとインストール まずは ...

ここからは、 実際にPerlでログを出力する方法をコードを交えながら説明します。 Perlのスクリプトから最も簡単にログを吐くには、 組込み関数のwarnを使います。 warn "request timeout"; これを実行すると、 標準出力に対して、 request timeout at log.pl line 7. のように ...