インターネットによって私たちは世界中の人々とリアルタイムにコミュニケーションをとることが可能になりました。 それに伴い、英語を使う機会もずいぶん増えましたが、ネット上で交わされる英語は決して私たちが学んだ教科書通りではありません。ネットには独特の略語や表現が溢れているのです。 海外の人：「TYVM」 私たち：「え？ なにこれ暗号？」 こんなことが、たびたびあるのです。（答えは最後に） 今回はそんなネットでよく使われる英語表現をご紹介します。 ネットでよく見かける英語略語 オンラインゲームにはチャット機能があり、世界中のプレイヤーとやり取りしながらプレイすることができます。そこではなるべく素早く完結にメッセージを送るために、略語が多用されます。同じ理由でTwitterやFacebookなどのSNSにも略語はよく使用されています。 ネットゲーム略語

地方自治体や議会でのハラスメントを防ごうと、条例を制定する自治体が全国で相次いでいます。背景や効果について考えます。

ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で