「log」を含む日記 RSS

はてなキーワード: logとは

2021-05-04

次元」は整数値だけではない。無理数次元だって有り得る

世の中ではあまり知られていないようだけど、「次元」というもの整数値だけじゃないんだよ。

すなわち、1次元(直線)、2次元(平面)、3次元(立体)、4次元(時空間)…のような整数次元以外の図形も有り得るんだ。

いや別に、これは私が勝手に構築した妄想内での話じゃない。ちゃんとした数学での話だ。

一般フラクタルと呼ばれる図形では、無理数次元というものが考えられるんだ。

まず、フラクタルとは何か。

それは、図形全体がその一部分から再帰的に定義される図形のことだ。

まあ、これじゃ何言ってるかわからないよね。でも、具体例を見ればピンと来るだろう。

有名なのはシェルピンスキーのギャスケットというやつだ。

こいつは三角形なんだけど、その中身が細かくくりぬかれた図形であり、そのくりぬき方に規則性がある。

まず最初に、三角形中央をくりぬく。くりぬく形は元の三角形上下反転させて、半分の大きさにしたもの

すると、上、左下、右下に3つの三角形が残る。

これらも同じように、さらに半分の大きさの三角形中央をくりぬいていく。

これを無限に繰り返したものが「シェルピンスキーのギャスケットのギャスケット」というわけだ。

無限に繰り返すため、最終的にはそれこそ「骨しか残らない」ような図形になる。元々は三角形だったのに、線みたいな図形になるわけだ。

また、この図形は、例えば真ん中より上側を見るとわかるんだけど、図形の一部分と元の図形が同じ形になっている。

例えば、元の図形は、中央に逆にした三角形のくりぬきがあるが、その上側でも同様に、中央三角形のくりぬきがある。

また、そのくりぬきの左側をそれぞれ見てみよう。

元の図形でも、その上側でも、やはり小さい逆向きの三角形でたくさんくりぬかれた三角形が、全く同じように存在するだろう。

というふうに、「シェルピンスキーのギャスケット」は、その図形全体がある一部分の繰り返しで形成されるわけで、

先の定義のとおり、同図形はフラクタルの仲間というわけだ。

ここまで、「シェルピンスキーのギャスケット」は同じ形の繰り返しということを述べたが、この後、無理数次元の話をするために、もうひとつだけ注意しておく。

それは、同図形は大きさを2倍にすると、同じ図形が3つに増えることだ。

先に述べたとおり、同図形はその上半分と同じ形をしている。そして、同じ形が上半分、左下、右下に現れる。

まり、辺の長さを2倍にした「シェルピンスキーのギャスケット」を描こうとすると、

元の図形を真ん中以外の、上半分、左下、右下に3つ配置した図形になるわけだ。

もう一度繰り返すが、「シェルピンスキーのギャスケット」は辺の長さを2倍にすると、図形全体は3倍になる(★)。

これは、後で無理数次元の話をするときに、もう一度出てくるから、よく理解しておいてほしい。

さて、この増田無理数次元について述べるものだった。

それでは、次元とはなんだろう。

突然だが、ここで、正方形立方体を頭に思い浮かべてほしい。

その1辺を2倍にすると、正方形の面積、立方体の体積はどうなるか。

正方形は、縦の長さと横の長さが2倍になるので、面積が4倍になる。

立方体は、縦の長さと横の長さと高さが2倍になるので、体積が8倍になる。

さて、面積や体積は1辺を2回または3回かけ算すれば求められるので、

この4倍や8倍という値も、2の2乗から4倍、2の3乗から8倍として求めてもよいことがわかるだろう。

これをまとめると、

2を次元乗すれば、図形が何倍になるかがわかる(☆)

というわけだ。

例えば、立方体場合は、立体なので次元が3で、図形は8倍になるだった。

一方で(☆)の考え方でも、2を次元乗、つまり3乗することで、図形が8倍になることがわかる。正方形場合も同様だ。

すなわち、わざわざ正方形立方体を頭に思い浮かべたり、面積や体積の公式を思い出さなくても、

(☆)の関係を考えれば、辺を2倍にしたとき、図形が何倍になるかがわかるのである

そして、数学では(☆)を次元定義とするわけだ。

(これは「ハウスドル次元」と呼ばれる。なお、ここでは簡略化のため、単位長さを2倍にする場合だけ考える。)

すると、無理数次元についてようやく説明ができる。

ここでは、前述の「シェルピンスキーのギャスケット」の次元を考えてみよう。

(★)で述べたとおり、同図形では「辺の長さを2倍にすると、図形全体は3倍になる」のだった。

よって、「シェルピンスキーのギャスケット」の次元をdとすると、(☆)から、2のd乗=3が成り立つはずだ。

d=1とすると、左辺は2の1乗なので、2となり、左辺の方が小さい。

d=2とすると、左辺は2の2乗なので、4となり、左辺の方が大きい。

から、dは1から2の間にあるだろうことがわかるだろう。

まり、「シェルピンスキーのギャスケット」は直線(1次元)と平面(2次元)の間にある存在だというわけだ!

これは、直感的には以下のような理解の仕方が可能だ。

同図形は三角形(平面)で構成されたものであるため、ベースとなるのは2次元である

しかし、先に述べたとおり、その中身は無限にくりぬかれていく。

まりほとんど中身はスカスカになっていく。「骨しか残らない」図形で、線みたいになっていく。

から、「シェルピンスキーのギャスケット」の次元も、2次元よりは線(1次元)に近いのだから、少し小さい値になるだろう、というわけだ。

ちなみに、このdを実際に計算するには対数log)が必要だが、おおよそ1.58となる。

この場合log無理数となるので、一番最初に述べたとおり、無理数次元というものが本当に存在するというわけだ。

シェルピンスキーのギャスケット」は部分的には三角形の組み合わせなので、平面である2次元のように見えるが、

細かくしていくとさらにその中に空白があるため、2次元よりは少し小さいだろう…

その感覚を数式化したものが、先に挙げた無理数次元というわけだ。

2021-03-22

4月から異動になる

営業アシスタント入社した今の部署退職が続出してて、入社3年目にして解散することになった

営業の人たちはそれぞれ他の部署に配属されたけど、アシスタントわたしだけ、他の部署アシスタントやるか人手の足りない社内システム部に行くか…っていう雰囲気で進退未定だった

結果的に、前職でSEしてた経歴を掘り起こされて社内システム部に異動になった

結婚して、子供もいずれ持つだろうから…と言う判断で、定時で帰れて育休も時短も実績多数あるから給料安くても今の仕事転職したのになぁ?!

前職、社内システム部とかじゃなくて、機械メーカーの組込系の仕事だったから正直ネットワークとかクラウドとか全くわからないしその仕事自体も正直苦手で苦痛だったか転職した部分もあるのに

しかも異動したら残業休出も増えるのに給料据え置きとか嫌すぎる

社内システム部の人、普段何か問い合わせとか依頼してもすっごい上から目線でなんもわかんないバカ相手すんの嫌だわーって雰囲気出してきててマジで腹立つよねって他の部署アシスタント同士で愚痴りあってるくらい感じ悪いのにそんなとこでやって行ける気がしない

夫は元同僚だから社内SEいいじゃん〜!って応援してくれるけど「私が死ぬほど出来が悪かったの覚えてるでしょ?!」っていうと言葉に詰まってたからやっぱり無理かもって思う部分もあるっぽい

でも三十過ぎで未経験事務系の仕事探すのめちゃくちゃ苦労したからそこからさらに年齢積んでるのにまたあの苦労をするのもつらい

とりあえず一年だけ頑張ってみよう…とは思ってるし、ダメならやめて本格的に妊活しても良いかもね〜って夫も言ってるし、4月からも頑張るけどさぁ

結婚しててよかったな…たとえ体壊して辞める羽目になっても、即露頭に迷う心配ないしな…

でも逆に夫が身体壊して仕事辞める可能性もあるから出来る限り細く長く働いてたいんだよなぁ

あーーー頑張りたくない!!!

IT関係勉強ももうしたくない!!!

前職時代基本情報受かったの完全に奇跡的に丸暗記した過去問のヤマが当たったおかげだからマジで何にもわからん!!!

なんとかソートとかLogなんとかとか、二度と見たくない!!!!!

2021-03-17

洋ゲーにハマることでもTOEIC900点には到達可能

ゲーム趣味なら、かなりいいと思う、洋ゲー

洋ゲーはおおむね以下の二つに分けられる

邦訳がないゲーム

ウンコみたいな品質邦訳があるゲーム

もちろんちゃんとした邦訳ゲームもあるが、少ない けっこう少ない

ミックスウッドの家具が欲しいならトゥー・カーペンターズに行け、とKevinが言っていたよ。」的なクオリティの訳がかなり多い わかるけど、絶対原語でやったほうが楽しいんですよ

バカにしてるとかではない ゲームの訳、絶対難しいし、絶対やりたくないもん 仕方ない

しかし、英語が読めれば、というか、英語を無理矢理でも読んでやれば、このカテゴリわけは途端に意味を失う

全部「普通にプレイ可能ゲーム」に早変わりだ

面白そうなゲームをみっける

レビュー欄をみる

日本語訳が出るのが待ち遠しいです」

「残念なことに、翻訳の質があまり良くないです。」

非公式ですが、有志の日本語訳ならあるようです!」

こういう言及を全部なぎ倒して、おのれの力でそのままプレイできる modなんかも基本的に入れ放題 英語英語の追加コンテンツを足してミスマッチは生じねえ

悲しいことだが、ゲーム界の共通言語英語

英語日本語が読めて快適にプレイできないゲームはそんなに多くはない 

「もともとロシア語で、英訳もあるがけっこうガバガバ翻訳」みたいなのはそこそこあるが、あまり問題にならない

なぜか?

英語ガバガバであることには、あまり気付かないからだ 非ネイティヴの強みがここにある

けっこう速読練習にもなる

かなり長いメッセージが出て、ウオ、と思っているうちに消えたりするから

生き残るために英語力が高まる

ものによってはリスニング練習にもならなくはない

オススメなのはアイテムがたくさん出てきて、クラフトとかビルディングとかサバイバルとか、そういう感じのことをするゲーム

あいうのは、天然の名詞学習用教材だ

木を切って木材を得る そういう動作から、Wood, timber, sapling, sap, acorn, log, branch, くらいの単語が学べる 

こういうのが積み重なるので、基礎語彙がかなり増える 

俺はstarboundとrimworld とstardew valleyの三本柱を合計1000時間以上やって、初めて受けたTOEICで950点をとれた

正直もともと英語ができなかったわけではないから、完全にゲームのおかげとは言い難い

でも受験から何年も経ち、英語といえばゲームくらいしかしてない状態でそれだったわけだし、概ねゲームのおかげだとは言えそう

実際、試験中たびたび「あっ、これスターバウンド でやった単語だ!」みたいなことを思った

いいんだよ洋ゲー

やりましょう

2021-03-06

anond:20210306191506

文系ワイ

仕事勉強してるけどそのワードめちゃくちゃ出てくる

logってなんだっけ・・・

2020-12-19

anond:20201218152541

FLOS COMIC、B's log Comicsのことかなと思ったらちょっと違った?

元請けクソSIer課長

元々あるプログラム改修してくれって言うからやったけど

C#からVBに書き直して(アイエエナンデ)

Excelデータの読み取りにNPOI使うなCOM参照使え(無人システムなのに止まっても知らないよ)

LogDBアクセスXml読み取りも弊社作成標準ライブラリ使え(目を覆いたくなるようなクソクラス群、文字列結合のクソSQL吐き出すから秒までしか日付扱えないよ)

・画面止まっちゃうから非同期関数にしたら怒られた

これだから下請けはみたいな上から目線指導されたけど、品質わざわざ落とす方向でいったい何がしたいのかね

2020-12-14

anond:20201214212238

大丈夫だよ。さっき双子座流星群みてた。(LIVEの)

log inしてないからかな。ログアウトしてみてみたら?

2020-11-29

anond:20201128153358

データは残っていますよ。増田さんのほうのトークをみてください。

メンバーがいません」になってるプロフ写真の消えた相手がいるはず。

それが、LINE引継ぎに失敗したお母様のもの

該当するLOGから必要なやり取りだけ、転送コピースクショも出来ますよ。

私も、まさかLINE相手が引継ぎできていなくて、こうなるとは思ってなかったけれども。

増田さんが消していなければ、お母様とのやり取りで必要な部分だけは問題ないと思いますので、また送ってあげてください。

2020-08-14

anond:20200813183000

多すぎだろと思って自分のみたら2487件あった

非表示ユーザ管理UIが丁寧になってからは増えるばかり

a_horuru

a_s_n_t

a-kuma3

a-lex666

a-nama-special

a-sun

a0069008

a0410

a1682

A1riron

a1ue0

a20130517

aa_R_waiwai

aaaaaomo

aaasukaaa

aabbccD

abesinzya

abll

abortion

abracadabra321

aburaagekun

acealpha

aceraceae

acomagu

ad2217

adderkun

adramine

afurikamaimai

agathon

agricola

aheadd

ahmok

ahomakotom

AHOUJIN

aht_k

aiaki

aikoku_sensei

air482

air7743

aisato1982

aitanisan

aiueo1145140

ajim029

ajisaiotoko

akagiharu

akahmys

akakiTysqe

akatuki_sato

aki-17

akiat

akihfy

akihiko810

akihiro5

akikan2

akikonian

Akimbo

AKIMOTO

akirameta331

akutsu-koumi

aLa

albertus

algot

alivekanade

allezvous

allmanbrothers

allrights

alpes

alpi-co

als_uz

amamako

amazon2287

amd64x64

amematarou

amourkarin

Amrak

amunku

An7s

andonuts

Androtest

ane36kaku

anklelab

Annihilator

ANNotunzdY

anoato

anon-c

anoneme

another2017

anotokinosobaya

ant0720

antiquekoreander

antonian

aoba_lain

aodifaud09

Aodrey

aoi-sora

aoi-yuri

aoinu1

aois

aomeyuki

aosiro

aot419

apartbylowrys

apocryphally

APPLE1234

apppppp

aquatofana

aquos12345

arabasta

araigumanooyaji

arakik10

aramaaaa

ArcCosine

architect

arearekorekore

argame

arisane

arlu

aroechan

arofour

aromabird

arrack

arttan

Arturo_Ui

arukam

aruzentina

asahikawa3

asahiufo

asakuhiroi

Asayuri

Ashburton

asiatics

asimino

asiwaramaki292

asmium

Assume

astraea777

asus-sonicmaster

ata00000

Atalante

atashi9

ATMdiary

atrandom2520

atringo3

atsuoka-rikitarou

atsushieno

atsushifx

atuix

aureliano

awesome334

awkad

axaxaxaxxaxaaxaxaxaxaaxaxa

aya_momo

AyeBee_TY

ayu118

azuk1

azumaon

azure-frogs

azzr

b_taro

B-CHAN

babim

backstar88

badApple

baikoku_sensei

baka020

Bakabot28

Bakabot46

bangflash

barbieri

barea

baronhorse

Barton

barubari2955

bbbtttbbb

bedtown

beed

beerbeerkun

beginnerchang

behuckleberry02

beki_hb

bellkun

Beluga

bengal00

benkeiblog

beresford

berlin1939

bertrandsushibarrussell

BestRgrds

beth321

Betty999

bfbchampions

bfms350

bfox

bhajime

Bifuteki

big_song_bird

bigapple11

bigchu

bigger

BigHopeClasic

bijingokai

birdstwtw

birisuken8574

bispate

bisuta

bitscreen

bkm_nowhere

bkuyijr

blackdragon

blackgamer

blockchain-bitcoin

BLUE_Galaxy

Blue-Period

blue0002

blueboy

blueday

bluegoat511545

blueribbon

blumentritt

bml

bobbbbbb

bobcoffee

bobjoker

bocbqcmn

bogus-simotukare

bohemian916

bokmal

bolivia

bonita_bonita

boobanban

bookleader

bookmarkmen

boon800

bopperjp

boruemon

bosatsumiroku

boshi

bottomzlife

BOUSOUNINJIN

brain-owner

brakun

breathemeditatethink

brendon

brompton03

bronson69

bt-shouichi

btoy

bttoy

buhikun

buhoho

buhonobameli

buko

bulldra

bullet7

businessart

buu

buzama-www_pipipipipi

bwdentm88

by-king

byfar

byod

bystander07

Byucky

bzb05445

c0ntinue

cabinotier

Caerleon0327

Caesarion

calcalmin

calcnews

camellow

caprocks5

cardamom

cardmics

CARNE

carpiyo

cartman0

CATDOG

Caterpoker

catra

catsnail

catwalk1101

cayaa

caynan

cbkf

ce5kd53sf131

cha9

chai-desu

chako00

chanbobo

change_k

chaz_21

chiaki35

chibatp9

chibikujira

chicken_geek

chicken22

chienavi

ChieOsanai

chiguhagu-chan

chihodoko

chikurou

chile-in

chinesecheese

Chinosoko

chinpokomon_master

chintaro3

chinu48cm

chirasinouramemo

chiwikipedia

chocolate0521

chocolatmacaron

chousuke7

chungus

cia62872

cild

cinderella0720

cinefuk

cinemaphile

civicpg

cj3029412

clamm0363

clapon

clclcl

cleome088

clevertime

clockworkmario

cloverstudioceo

cmplstofB

coco5959

CocoA

cocoonP

coenzeim2929

colonoe

colorless-note

comitlog

conandaisuki

confi

confusion8

coolpix

cooondl

coopanda

coper

copyrightjp

corydalis

cotbormi

covacova

cozyconemotel

cozyweblife

cq3j

craftone

crapman

cript

croissant2003

crosscrow

CrowClaw

Cru

cu6gane

Cujo

Cunliffe

curryunko

custardtarte

D_first

d-ff

D0X7akE0

dacksf25

dadabreton

dadadaisuke

dagama

dahlia_osaka

daibutsu310

daibutsuda

daidaip

dairou

daishi_n

Daisuke-Tsuchiya

daisya

daitom

daizo3

dalmacija

damepon

danaca

dande_camel

dandondandin

danseikinametaro

datemakio

Day-Bee-Toe

dayafterneet

daybeforeyesterday

daylightkun

dayuyone

dazz_2001

dc42jk

dd369

deamu

death_yasude

death6coin

deco3

dede21

dededidou

deep_one

dekaino

dekigawarui

dekijp

Delete_All

demakirai

demakking

demcoe

denilava

denpa0604

despair0906

deztecjp

dfg5ivestar

dgen

dgrtidsji

dgwingtong

differential

dissonance_83

diveintounlimit

djehgrtnlr

djkaz

djshacho

dmr

dobonkai

dodongadondon

dogdogfactory

dogrush1980

doko

doksensei

dokuco

Domino-R

dondoriyama

dongfang99

dorje2009

doropubo

doroyamada

doscoy_t

doseisandesu

dot

douai

dowhile

downtothedevil

doycuesalgoza

dozo

dpdp

Dragoonriders

Drakulya

driving_hikkey

dsino

dtpg

duckt

DukeK

Dursan

dusttrail

dzod

e_310

eap

eartht

echigoyanosobaya

edntfx41

edo04

eerga

eko

el-condor

electrolite

elephantskinhead

Eleutheria

ellm9

elve

EmanuelWilfer

emerada

enderuku

ene0kcal

enhanky

eniti

enjoyfuga

envs

envygreedlust

erayuuki

erda

Ereni

erererererr

erigami

eringix

ermanarich

eroyama

eru01

erukiti

erythritol

estragon

etc-etc

euda

evergreeen

evolist

ext3

Ez-style

f-mi

faaaaa

falkbeer

favorite_blue

FEFE

femi424

fgtcvnb

fhvbwx

fikah

filinion

findup

fishma

fk_2000

flatfive

flowerload

Flymetothemoon

Fondriest

font-da

foobarchocobo

forComments

forest318

FOx

fphantom

fraction

fractured

frad

fragilee

frecce

freedomdomqq

freefox

fripfrap32

frkw2004

Fromdusktildawn

frothmouth

FT4

ftq

ftype

Fubar

fuji_haruka

fujibay1975

fujioka223

fujisawa-zuan

fujitaweekend

fukken

fuktommy

fukurow57

fumi256

fumikef

funaborista

fune0909

fusanosuke_n

Fushihara

Futaro99

futonchan

futosuke9

fxbloggers

ga_kun

gaebeg

gaka48

gakinotukaijanai

Gakkuri-Kanabun_09

galapagosu

Galaxy42

gameps4wii

gameshop-aki

gamituki

ganbaernkon

gaojin2180

gaou2

garage-kid

gaso

GAtenohira

GATSBYtan

gaumash

gbkmm

gcyn

gebonasu30km

Gelsy

genkaiwave

genkiegao

gerarad

GEROMAX

gesyo

getou

ggeett

ggrkschan

ghat

ghosttan

giant-killing

Gim

gimonfu_usr

ginga0118

gipoexchesupr

girlicjam

gisuzi

giyo381

Gka

Gl17

gla69

gnagaoka

gnt

go_kuma

gochinchin

GOD_tomato

gogatsu26

gohki

going_zero

goingzero

gokkie

gokrock

gokudoh

goldhead

gomaberry

gomez_se

gomunaga

gonbei5963

good2nd

goodbyebluethursday41

gorgeous1020

gorotaku

gowithyou

gptsuchiya

grdgs

greenbuddha138

greenT

GreenTopTube

greg_yamada

gremor

grizzly1

gssmboy

gui1

guitarwolf

gundesignstudio

gunihton

guriuripop

guruvc

Gustav13

gustave_buzz

gyochan

gyorh

h_taiji

h1875362

h1roto

habitas

hachibeechan

hadakadenkyu

Hagalaz

hagex

haha64

hahihahi

haipaiall

hajakeigai3

hak2407

hakodama

hakoroid

hakusai913

hal9009

hamadanookazu

hamatu

hammam

hammer100kg

hamukatumix

Hamukoro

han389jm

hanagesan

hanajibuu

hanako_3101

hanamichi36

hanatakanda

hanbey64

hanihani34

hankatsuu

HanPanna

hapilaki

happybiscuit

hara-peko

hard_core

harisenbon_fukurahagi

Harnoncourt

haruhino

haruhiwai18

harumomo2006

haruna777

haruyato

hase0510

Hasen

hashigohinan

hashimotokenta1984

hatahata_chan

hataketo

hate_flag

hate1229

hatebutabooboo

hatehate17qz

hatehatehohokun

hatehenseifu

hatejirou

hatekids

hatetomomo

hatezen

hatomugicha

hatu82p

hayakuzaka

Hayano

hayato1999a

hazardprofile

hbkm

hdampty7

heartbook

hearthewindsing

heihoh

henno

heron0804

heroyoukey

hetarechiraura

hetoheto

heyacho

heyheyhey

heyjoe0123

hfukuda58

hgonzaemon2

hib3

hiby

hiccha-ya-re

Hidemonster

Hige2323

highlandview

higo-tec

hihi01

hilda_i

hilinkseiya

himagine_no9

himakao

hinapix

hinataaoi

hinbass

hiroaj

hiroharu-minami

hirolog634

hirosima88888

hiroyuki1983

hirtych

hiruneya

hisa_ino

hisatakahashi

hisawooo

hit-the-light1326

hitac

hitamu

hitode99

hitotakuchan

hituzinosanpo

hkmaro

hkstd_rock

HMT_EG

ho4416

hobbling

hobo_king

hobohate

hofdamaan

hoihoitea

homarara

honeysuckle01

hoshitamotsu

hosimisoh

hotelsekininsya

hotshotman

hotu_ta

hotwhiskey1901

houm1116

houousannzan

howlingpot

hozaku

hrmty

hrweryw

hs233

htbman

huano

hukahukahuka

humid

hung847946

hunyoki

HYLE

hylom

hyolee2

hyoumon00131

hyphenkorosi

I_am

i_ko10mi

i196

iasna

ichigan411

ichiken7

ichiro2015

icloudy

ifttt

IGA-OS

II-O

IkaMaru

ikanosuke

ikarino-ikaring

ikd18

ikd9684

ikdhkr

ikkou7

iku-sawa11

ikumen_papas

ikurii

ilkah

imaginaration

imaiworks

imakita_corp

imo_jo_chu

imo758

inazakira

inferio

infobloga

information-s

infturai

Ingunial

inikot

inmysoul

inoyo55

Insite

interstella

inumash

investor_n

InvisibleStar

invoicekun

ion4

ip6ser

ireire

Irkutsk

iroha2_hohe

irose

iRumors

is0ladelcane

ishitanakoi

isikasa

islejp

isshoku

isuchan

itarenai

itarumurayama

ite

iteau

itinitiitinti

itmammoth

itochan

itsumonotakumi

IvoryChi

iwashioyaji

iwaso_ok

iwiwtwy

iww

izaka

izeio

izure

IZutsumotti

j_naito

jack_oo_lantern

jagichan

jaguarsan

jajaludop

janosik

japonium

jbase

jdfi39kpz

jeanpierre69

jhmh

jidarakuyo

Jiken

jimpeipei

Jinhachi

jinjin442

jintrick

jiro68

jkr2348fsfsd

jmako

jminmin

joe1978

JohnP

Josequervo

jou2

JouNin

jpmccartney-jo

jpnrecord

jrf

jSFeDlT5

jt_noSke

jtw

juangotoh

jumbomonaka

junchino

Junco_junko

junk6

junmk2

junpei191

junpeso

jus7733

k_seki_tyr

k-akimaru

K-Ono

k-wacky76

k146

kaanjun

kabayakiya

kabutomutsu

kachine

kae1990

KAERUSAN

kaeuta

kagehiens

kagobon

kagoyax

kahusi

kaimondake

kaitoster

kaizyumarch

kajuido

kakei-akihiko

kako817v002

kakuseizaikiyohara

kamayan

kamenokoman

kamm

kamonyan1

KAN3

kana321

kanagawakama

kanamatch

kananta

kangiren

kanimaster

KANITAN

kanmimono

kantei3

kappei

karaage280

Karabin

karinkon

karo9231

karotousen58

karukaru7

kastro-iyan

katax1958

katouk

katow

katsuto_n

katuyatamuro

kawa106

KAYUMI

kaz_the_scum

kazatsuyu

kazoo_keeper2

kazoo_net14

kazuau

kazuhix

kazuniestyle

kazuya53

kazyee

kearai

kechack

keeeeei

keepclock

kei_1010

keidge

keiji_kc

keim_at_Si

keisolutions

keisuker

keita-agu-ynu

keitaisho

keitone

kemukujara

ken-skatan

kenchan3

kengo9999q

Kengsang

kenjiro_n

kenjou

kentaroo0722

kero-kero_ceo

kerokeropippi

keshitai

kettkett

ketudan

ketuyooo

keytracker

kfujii

KGV

khss_keita

khwarizmi

Kial

kibitaki

kikai-taro

kikanmochan

kiku-chan

kikuchi1201

kilminwq

kim_tama

kimurahayao

kinako46

kincity

kingate

kinyoo

kirifue

kisugix

kitaazabu48

Kitajgorodskij

kitamati

kitano__ow

kitano_ow2

kitty69kitty

kittyguy02

kiwi0120

kiya2015

kj03

kj3fj5854sj2d54jfi

kjkw

kkp5takeoff3

kkvv

kkzy9

klaps

kmiura

kmkm8011

Kmusiclife

kNara

knewton

knight-a

knknkn11626

Knoa

ko2inte8cu

koartist

koba1Q84

kodebuya1968

kofun

kohapapa

kohgethu

koichi99

koishitelu

kojim

kojitadokoro

kokoro__chan

kokorosha

kokosoko

komachiyo

komamix

komandojisan

komiya84

komutan1

komyuglish

kondoly

kono-tsuka

koroharo

koromokku

kotanyanko

kote2kote2

kotekczerwony

kotetsu306

koutatan

kowa

kowyoshi

koya2014

koyancya

Kracpot

ksaitou

ktakeda47

ktra

kuborie

kuesan

kuippa

kukky

Kukri

kumashirochan

kumasi

kumatarou3rd

kumonopanya

kun-maa

kuniharu_k

kunitaka

kurahito4

kuremizukun

kurik

kurimanju

KUROBUCHI

kuroi_shirokuma

kuroihikari

kurukurucure

kurumiwallnut

kusomamma

kutabirehateko

kuwatetufox

kuxttoba

kuzudokuzu

kvx

kxkx5150

kyapugooo

kyasarin123

kyo_ju

kyo1man

KyoChika

kyoto117

kyoumoe

kyousuke104

kyrina

kyuusyuuzinn

kz78

l__LINE__l

l000says

l83DK

lady_citadel_and_goddess469

lady_joker

lainof

lancelod

lapk

lavandin

laxartes

lazex

lazycamera

lazymaybee

lbtmplz

lc475nyks

lcom

leb

leiqunni

lepton9

lestructure

letari

lettuce0831

levites

Lewisik

Lhankor_Mhy

Lian

life_love

lifefucker

lifeisadog

lightly

liinter7

Lilith11

limeclimb

linus_peanuts

lithiumflower2

littleumbrellas

liveall

LiveinTokyo

lli

locust0138

logic

longroof

loopandloop

lorenz_sys

lotiontissue

lovevoiceryu

lrenir

lsho_scarecrow

luccafort

lucie_hapy

lucioniki

luliazur

Lumin

lungta

luxsuperpoor

lvseven

m_uchino

m-matsuoka

m-naze

ma1a

Machautumn

machida77

machihakoibito

mad-capone

madara-neco

mae-9

maelstrom

magamin

magefee

Magicant

MagnesiumRibbon

magnitude99

mahal

maiani

maicou

MaIf2010

mainty_com

majikichi893

mak_in

MakeLaboratory

makimain0

Makke

makopan

makou

malark

malasumasu

malein

mame_3

mamimp

manaplus

mandam111

manFromTomorrow

mangabon

mangakoji

mangkhud

maninthemiddle

manmo999

mao789

maple_magician

marony0109

maronysan

marubatsujiisan

maruhoi1

marumann

marumusu10

maruX

mas-higa

masa_grant55

masa_rst

masadasu

masahiro1977

masahiroy

masakih

masao_hg

masasia0807

masgaram

Mash

mastsouth

masudamaster

masudami

masudatarou

masumizaru

matchy2

matomepro

mats3003

matsui43378472

Matsuriame

mattn

Mattyan

maturi

maxide65

maxk1

maxmargin

mayarani003

mayumayu_nimolove

mayuyu27

mazikay

mazmot

MCBYND

McCart

mcgomez

McoMco

mczkanako

me-tro

mechpencil

meerkat00

megaflickz

meganeya3

megazalrock

megu7iyo

megumin1

meisoumusou

meitanteiconankun

mejirotan

mekon

mekurayanagi

memeambivalent

Memeo

memomemokun

memorabilia

memoryalpha

mendarukonba

mengold

MERCY

MermaidSong

metamix

metaruna

mfigure

mia311

mibe

michinao

mict

Midas

midastouch

midnight-railgun

midnightseminar

migrant777

miida599

mijyunon

mikantabete

mikio01

mikoto_9

mikoyu263

miluru

mimikakix

minaminoani

minamishinji

mineight

minodisk

minogozen

minominofx66

mint6626

mionosuke

mioooon

mirai_ryodan

miraiez

mirakichi

mirucons

miruna

miruzouq

misafusa

miscmisc

misisippitan

misochige

misomico

misopi

miyazawataichi

MIZ

miz999

mizutoyo

mjy

mm-nankanoffice

mmcoma3

mmm143

mmmou

mmmpa

mn_kun

mn112hr

mobam

mobanama

mobits

mobius118_7

moccos_info

mochi-ha

mochico121

mochinoron

moerigh

mohdameda

mohno

mojo_nobu

mokk23

mokkoda4

mokuyooo

molmolmine

molytack

Momo_suke

momonga_dash

momonga1123

momosekokoa

momyami291

mon_tes_q

monacal

monamour555

monbran4989

MoneyReport

monfortino

monmon225197810

mono_i_love

monochrome_K2

monono

monopole

montage008

mori-yoshiro

morikakeokawari

moriken_1113

morita_non

morujimania

mostaga

motimoti32

mouseion

move-wife

movesinthefield

mowan

moxsex

mr_mayama

Mr-M-H

mrescape

mrxRXr

ms6145vv

mtmblgsn

muamqm

muchalach-hoihe

mugikun97

mukimi

mukudori69

mumincacao

munioka303

Murakami

murasakizaru

murilo

murishinai

muryan_tap3

musawarjui1978

Mushiro_Hayashi

mustelidae

mutinomuti

muttowoooo11

muu2000

mw-matrixa

myogab

mz88av40

mzch

n_231

n_pikarin7

n_y_a_n_t_a

nabeteru1Q78

nack1024

nagaichi

nagaryu000

nagasawakenohoken

nagisano

Nahoo

nakab

nakaoka-j

nakex1

namita

NANA_NO1

nanamino

nanana_nine

nankichi

nanoha3

nao_cw2

naohero22

naokun776

naokunn

naole

naosika

naoto_moroboshi

napsucks

naratas

narukami

naruzawan

narwhal

naryk

nasoft

nasuhiko

natu3kan

natumeuashi

natutoyuuki

ndns

neco_pong

neco22b

negi_a

nejipico

nekoluna

nekomask

nekora

nemuinemuix

nemuiumen

nenesan0102

nennoyuraku

neo_Neutral

neogratche

neonlight_il

nephar

neriu

netcraft3

newmind

NEXTAltair

nf0507

niam

nice_and_easy

nicottowatch

nihoncha

nikousatsu

nine009

ninjaripaipan

ninosan

nise_oshou

Nishinomiya-Radio

nisisinjuku

njkch349

nkskname

NLW

NMST

nnbnn

nnbus

nnh

nns_noko21

no-genpatu

noa787

noaim

nobiox

nobody__wins

nobori_lupin

nobu1989

nobujirou

nobyuki

nohmask

nomakkah

nomitori

nonaka1007

nonameblog

nonstandardlife

nooboo

noodlemaster

noon8

norehero

norixto

north_korea

nosem

nost0nost

notsunohito

nowandzen

nownoatosaki

noza_key

nsasan642

nsgp918

nt46

ntnajp605

ntstn

nudgeemall

nuese_iryo

nuicksilver

numpad0

Nunocky

nunune

nyakapoko

nymc

Nyoho

nyokkori

nyusokuonline

nzxx

o-0-0-o

o-t-326

Object357

obsv

occha

oceantug

oddly

oguratesu

ohana3

oir3ny

oka_mailer

OkadaHiroshi

OKIIZO

okinawa-rail

okonomi0573

oktnzm

okureiman

omega314

omegaiz

omomom

onasussu

one-mam

onepiece-framework

onesplat

onigashira_3

onim

onnagomi

oono_n

ophites

opinion19453

opps_long

option-trade

orangefruit

orangelip

orangeno8

orangexxxx

orbit2014

ore_de_work

orenonihongogayabai

oreokun

orx85mok110305v36

os1o3

osaan

osappiro

oskimura

osknabe

osnq

osugi3y

osyamannbe

otihateten3510

otsune

ottyanko

ouhens

ounce

outdoor-kanazawa

outer-inside

Outfielder

outroad

oxy_oxynotes

oya3

oystr

ozp

p_shirokuma

p8q

panda_porn

pandaman47

pandaporn

Panthera_uncia

paradisemaker

paravola

pasopiya

passwordkun

pastatch

patrickrott34

paulownia

pazl

pcnikki

pe9pe9

peerxpeer

pega2s

peppers_white

perfectspell

periodict

pero_0104

PerolineLuv

peroon

Pgm48p

phantast

pholxia

Pi7

pianocello7

pianopop_on

PIEZOU

pif

pilpilpil

Pinguicula

pinkyblue

piro-de-sky342

pittimesquare

pk1dggxm

pkmn012345tkt

plagmaticjam

plasma0713

pmc12

pmint

pochi76

pojihiguma

poko_pen

Pokopon

pokotanu

pokute8

politru

polo_polo_polo

pomerance

pomojan

pompomponta

ponpon_qonqon

popnshoes

popoi

posmoda

potD

potohud

poyuma

pps2bg

pptp

p Permalink | 記事への反応(2) | 01:10

2020-07-22

anond:20200722135033

この本で数学的に意味のある記述って、

くらいだから

レポート用紙半分くらいの内容しかない

あと全部ポエム

で、もちろんこれらを知ったところでIUT理論の内容は全く分からない

「数式を使わずに難しいことを説明している」のではなくて、そもそも内容自体がない

2020-07-21

宇宙宇宙をつなぐ数学 - IUT理論の衝撃」の感想

Amazonレビューなどに書くと過去レビューから身バレする可能性があるのと、わざわざ別アカウントを作ってまで批評するほどのものではないと思ったので、こちらに書きます

初めに断っておきますが、本稿は別に加藤文元先生人格や業績などを否定しているわけではありません。また、IUT理論やその研究者に対する批判でもありません。「IUT理論が間違っている」とか「望月論文査読体制問題がある」などと言う話と本稿は全く無関係です。単純にこの本に対する感想しかありません。

----

加藤文元先生の「宇宙宇宙をつなぐ数学 - IUT理論の衝撃」を読みました。結論から言って、読む価値の無い本でした。その理由は、

ほとんど内容がない」

この一言に尽きます数学書としても、一般書としてもです。

本書の内容と構成

本書は、RIMS(京都大学数理解析研究所)の望月新一教授が発表した数学理論である、IUT理論宇宙タイミューラー理論)の一般向けの解説書です。

1~3章では、数学研究活動一般説明や、著者と望月教授交流の話をし、それを踏まえて、IUT理論画期的であること、またそれ故に多くの数学者には容易には受け入れられないことなどを説明しています

4~7章では、IUT理論の基本理念(だと著者が考えているアイデア)を説明しています技術的な詳細には立ち入らず、アイデア象徴する用語フレーズを多用し、それに対する概念的な説明や喩えを与えています

8章がIUT理論解説です。

まず、数学科の学部3年生以上の予備知識がある人は、8章だけ読めばいいです。1~7章を読んで得られるものはありません。これはつまり「本書の大部分は、IUT理論本質的関係ない」ということです。これについては後述します。

各章の内容

1~3章は、論文受理されるまでの流れなどの一般向けに興味深そうな内容もありましたが、本質的には「言い訳」をしているだけです。

IUT理論が多くの数学者に受け入れられないのは、従来の数学常識を覆す理論から

望月教授が公開された研究集会などを開かないのは、多数の人に概要だけを話しても理解できないから。

などの言い訳が繰り返し述べられているだけであり、前述の論文発表の流れなどもその補足のために書かれているに過ぎません。こういうことは、数学コミュニティの中でIUT理論懐疑的人達説明すればいい話であって、一般人に長々と説明するような内容ではないと思いますもっとも、著者が一般大衆も含めほとんどの人がIUT理論懐疑的である認識して本書を書いたのなら話は別ですが。

4~7章は、「足し算と掛け算の『正則構造』を分離する」とか「複数の『舞台』の間で対称性通信を行う」などの抽象的なフレーズが繰り返し出てくるだけで、それ自体の内容は実質的説明されていません。

正則構造とは、正方形の2辺のように独立に変形できないもの

対称性とは群のことで、回転や鏡映などの操作抽象化したもの

のように、そこに出てくる「用語」にごく初等的な喩えを与えているだけであり、それが理論の中で具体的にどう用いられるのかは全く分かりません(これに関して何が問題なのかは後述します)。そもそも、本書を手に取るような人、特に1~3章の背景に共感できるような人は、ここに書いてあるようなことは既に理解しているのではないでしょうか。特に6~7章などは、多くのページを費やしているわりに、数学書に換算して1~2ページ程度の内容しか無く(誇張ではなく)、極めて退屈でした。

8章はIUT理論解説ですが、前章までに述べたことを形式的につなぎ合わせただけで、実質的な内容はありません。つまり、既に述べたことを並べて再掲して「こういう順番で議論が進みます」と言っているだけであり、ほとんど新しい情報は出て来ません。この章で新しく出てくる、あるいはより詳しく解説される部分にしても、

複数数学舞台対称性通信をすることで、「N logΘ ≦ log(q) + c」という不等式が示されます。Θやqの意味は分からなくてもいいです。

今まで述べたことは局所的な話です。局所的な結果を束ねて大域的な結果にする必要がありますしかし、これ以上は技術的になるので説明できません。

のような調子で話が進みますいくら専門書ではないとはいえ、これが許されるなら何書いてもいいってことにならないでしょうか。力学解説書で「F = maという式が成り立ちます。Fやmなどの意味は分からなくていいです」と言っているようなものだと思います

本書の問題

本書の最大の問題点は、「本書の大部分がIUT理論本質的関係ない」ということです(少なくとも、私にはそうとしか思えません)。もちろん、どちらも「数学である」という程度の意味では関係がありますが、それだけなのです。これがどういうことか、少し説明します。

たとえば、日本には「類体論」の一般向けの解説書がたくさんあります。そして、そのほとんどの本には、たとえば

素数pに対して、√pは三角関数特殊値の和で表される。(たとえば、√5 = cos(2π/5) - cos(4π/5) - cos(6π/5) + cos(8π/5)、√7 = sin(2π/7) + sin(4π/7) - sin(6π/7) + sin(8π/7) - sin(10π/7) - sin(12π/7))

4で割って1あまる素数pは、p = x^2 + y^2の形に表される。(たとえば、5 = 1^2 + 2^2、13 = 2^2 + 3^2)

のような例が載っていると思います。なぜこういう例を載せるかと言えば、それが類体論典型的重要な例だからです。もちろん、これらはごく特殊な例に過ぎず、類体論一般論を説明し尽くしているわけではありません。また、類体論一般的な定理証明に伴う困難は、これらの例とはほとんど関係ありません。そういう意味では、これらの例は類体論理論的な本質を示しているわけではありません。しかし、これらの例を通じて「類体論が論ずる典型的現象」は説明できるわけです。

もう一つ、より初等的な例を出しましょう。理系なら誰でも知っている微分積分です。何回でも微分可能実関数fをとります。そして、fが仮に以下のような無限級数に展開できたとします。

f(x) = a_0 + a_1 x + a_2 x^2 + ... (a_n ∈ ℝ)

このとき、両辺を微分して比較すれば、各係数a_nは決まります。「a_n = (d^n f/dx^n (0))/n!」です。右辺の級数を項別に微分したり積分したりしていい場合、これはかなり豊かな理論を生みます。たとえば、等比級数の和の公式から

1/(1 + x^2) = 1 - x^2 + x^4 - x^6 + ... (|x| < 1)

両辺を積分し、形式的にx = 1を代入すると

arctan(x) = x - x^3/3 + x^5/5 - x^7/7 + ...

π/4 = 1 -1/3 + 1/5 - 1/7 + ...

のような非自明な等式を得ることができます。これは実際に正しい式です。また、たとえば

dy/dx - Ay = B (A, B ∈ ℝ、A≠0)

のような微分方程式も「y(x) = a_0 + a_1 x + a_2 x^2 + ...」のように展開できて項別に微分していいとすれば、

Σ((n+1)a_{n+1} - Aa_n) = B

  • a_1 - Aa_0 = B
  • (n+1)a_{n+1} - Aa_n = 0 (n ≧ 1)

よって、

  • a_{n+1} = Aa_n/(n+1) = A^n (B + A a_0)/(n+1)! (n ≧ 0)

a_0 = -B/A + C (Cは任意の定数)とおけば、

  • a_n = C A^n/n! (n ≧ 1)

「e^x = Σx^n/n!」なので、これを満たすのは「y = -B/A + Ce^(Ax)」と分かります

上の計算正当化する過程で最も困難な箇所は、このような級数収束するかどうか、または項別に微分積分ができるかどうかを論ずるところです。当然、これを数学科向けに説明するならば、そこが最も本質的な箇所になりますしかし、そのような厳密な議論とは独立に「微分積分が論ずる典型的現象」を説明することはできるわけです。

一般向けの数学の本に期待されることは、この「典型的現象」を示すことだと思います。ところが、本書では「IUT理論が論ずる典型的現象」が数学的に意味のある形では全く示されていません。その代わり、「足し算と掛け算を分離する」とか「宇宙間の対称性通信を行う」などの抽象的なフレーズと、それに対するたとえ話が羅列されているだけです。本書にも群論などの解説は出て来ますが、これは単に上のフレーズに出てくる単語注釈しかなく、「実際にIUT理論の中でこういう例を考える」という解説ではありません。これは、上の類体論の例で言えば、二次体も円分体も登場せず、「剰余とは、たとえば13 = 4 * 3 + 1の1のことです」とか「素因数分解ができるとは、たとえば60 = 2^2 * 3 * 5のように書けるということです」のような本質的関係のない解説しかないようなものです。

もちろん、「本書はそういう方針で書く」ということは本文中で繰り返し述べられていますから、そこを批判するのはお門違いなのかも知れません。しかし、それを考慮しても本書はあまりにも内容が薄いです。上に述べたように、誇張でも何でもなく、数学的に意味のある内容は数学書に換算して数ページ程度しか書かれていません。一般向けの数学の本でも、たとえば高木貞治の「近世数学史談」などは平易な言葉で書かれつつも非常に内容が豊富です。そういう内容を期待しているなら、本書を読む意味はありません。

繰り返し述べるように本書には数学的に意味のある内容はほとんどありません。だから、極端なことを言えば「1 + 1 = 2」や「1 + 2 = 3」のような自明な式を「宇宙宇宙をつなぐ」「正則構造を変形する」みたいに言い換えたとしても、本書と形式的に同じものが書けてしまうでしょう。いやもっと言えば、そのような言い換えの裏にあるもの数学的に正しい命題意味のある命題である必要すらありません。本書は少なくとも著者以外にはそういうもの区別が付きません。

本書の続編があるなら望むこと

ここまでネガティブなことを書いておいて、何食わぬ顔でTwitter加藤先生ツイートを拝見したり、東工大京大に出向いたりするのは、人としての信義に反する気がするので、前向きなことも書いておきます

まず、私は加藤先生ファンなので、本書の続編が出たら買って読むと思います。まあ、ご本人はこんな記事は読んでいないでしょうが、私の考えが人づてに伝わることはあるかも知れませんから、「続編が出るならこんなことを書いてほしい」ということを書きます

まず、上にも書いたような「IUT理論が論ずる典型的現象」を数学的に意味のある形で書いていただきたいです。類体論で言う、二次体や円分体における素イデアル分解などに相当するものです。

そして、IUT理論既存数学との繋がりを明確にしていただきたいです。これは論理的な側面と直感的な側面の両方を意味します。

論理的な側面は単純です。つまり、IUT理論に用いられる既存重要定理、およびIUT理論から導かれる重要定理を、正式ステートメント証明抜きで紹介していただきたいです。これはたとえば、Weil予想からRamanujan予想が従うとか、谷山-志村予想からFermatの最終定理が従うとか、そういう類のものです。

直感的な側面は、既存数学からアナロジーの部分をより専門的に解説していただきたいです。たとえば、楕円曲線のTate加群が1次のホモロジー群のl進類似であるとか、Galois理論位相空間における被覆空間理論類似になっているとか、そういう類のものです。

以上です。

加藤文元先生望月新一先生、およびIUT理論研究・普及に努めていらっしゃるすべての方々の益々のご健勝とご活躍を心から祈り申し上げます

2020-07-11

anond:20200711003808

お気持ちを声色で伝えたかった

仕事でもLogわんことにはなにも出来ませんぜ?って電話フツーにかかってくるぞ

そんもんさ

2020-07-02

anond:20200702015215

美少女アニメ文脈を完全拒否するなら、わざわざ包括的オタクという単語を使うことはなく、

マンガが好き、ゲームが好き など特定の○○が好きで良いのでは?


ワイはリアタイエロゲーギャルゲー黄金期を経験した世代じゃないけど、

エロゲーギャルゲー黄金期の世代が残したWEB Log の跡地では

結構確率で様々な視点(シナリオ学、哲学、他の映画マンガ)から

それらが検証・楽しまれているのが見てとれて

この世代に生まれたかったなぁと思ったりする

いまは50歳場合よっちゃ60歳以上になってんのかな?

2020-06-29

anond:20200629153146

どうせほとんどの読者は高校数学さえ理解していないのだから、何を解説したって数学本質的理解は無理なのかもしれない

彼らには、以下はどれも同じに見えている

正の数X, Yに対して、log(XY) = log(X) + log(Y)

N元N次一次方程式は、N次正方行列AとN次元の列ベクトルx, bを用いて、Ax=bと書ける。

この方程式が一意的に解けるためには、Aの行列式が可逆であることが必要十分。

二次体の有限次Abel拡大は、1のべき根と、楕円モジュラー函数特殊値と、虚数乗法を持つ楕円曲線の等分点の座標で生成される。

Xを位数q=p^mの有限体F_q上のn次元非特異射影代数多様体、Y=X×_{F_q}(F_qの代数閉包)とすると、

#X(F_q) = ∑[i=0, 2n](-1)^i Tr(F_q, H^i(Y, Q_l))。

ここでF_qはFrobenius写像、H^i(Y, Q_l)はi次l進エタールコホモロジー(l≠p)。

Cをダークマター作用を持つN次元クリスタル、Xをそのアトラクターとすると、XからCへの次元変換Fは、固有なファクター方程式

F = F_1 ⊕ ... ⊕ F_N

を満たす。

仮に全編にわたって無意味なことを書いてもおそらく判別できないだろう。

2020-06-10

anond:20200610173619

覚える必要のあることなんて何一つない。ただ、覚えると便利だから覚えているだけ

そんなことは言っていない。

もちろん導出に数十分かかる公式なんかは現実的には覚えないとしょうがないんだけどね。

少なくとも高校数学でそんな公式あるの?

あと、「導出に時間がかかるから覚える」なんてことも言っていない。

文中で挙げた例では、加法定理証明などはそこそこ長いが、こいつは回転が1次変換であることと、(1, 0), (0, 1)が平面の基底であるという当たり前の事実が分かっていれば、cos(π/2+θ)とsin(π/2+θ)の値だけから決まるということが分かる。

でもそれは本質的ではなく、「理論上は解ける」ことの方が重要増田はそういう話をしているんだろう。

そんな話はしていない。

もちろん例外はいくらでもある。例えば積分の(基本的な)公式は覚えるしかない。

積分基本的公式って何?

置換積分や部分積分公式は、合成関数や積の微分対応するんだから、覚える必要ないよね。

log(x)の積分なんかはテクニカルかも知れんが、部分積分適用できる好例だし、そもそもこんな単純な初等関数微分積分なんか、習得して当たり前。そんなもんを「覚えなければいけない」なんて感じるのは、意識問題

まあ結果を覚えるというより導出を覚えるべきなんだけど、

そんなことも言っていない。

テクニカルアイデアが大量に詰まっているので「容易に自分で思いつける」類のものではない。

そもそも、「覚えなければいけない」の対義語は「自分でおもいつく」じゃない。

日本語理解おかしいんだよ。

結局覚えるべきものはいくらでもある。でも増田はそういう専門的な話はしていないと思う。

一貫して覚える必要のあるものほとんどないと言っている。

また、定理などを覚えるべきかどうかについて、高校数学大学数学で違いがあるとも言っていない。

2020-05-28

anond:20200528113644

あおって、ありもしない事ばかり嘘ばかりかいててあったかのように表現するという呪詛

お育ちが知れてしまますよ。Logで残りますから

世の中の女性代表みたいに、ご主人より浮気相手セフレ)を好きな主婦がたくさんいるかのような

書き方は、日本中主婦さん達への言いがかりだと思いわないんですかね?

あなたの交友関係が、そういう、セクシーすぎる方々、ご主人をないがしろにする人がいらっしゃるというだけでしょう。

がっかりですよ。言いがかりの安売り。

2020-05-07

数学記号数字として捉えれば良いのか

logとかわけわんねって思ってたけどこういった記号数字と同じように捉えれば上手くイクことに気づいた。

そもそも数字自体記号なんだからなんの問題もないよな。

2020-05-04

anond:20200504094823

そんなに違うか?logで考えると同じぐらいじゃない?

2020-04-28

シャープ マスク つけ心地

検索結果

ウェブ検索結果

2020-04-09

anond:20200409105124

時代に取り残されたおじさんたち、、、

ブログ情報管理LOG」を運営しています。主にiPhoneiPadITテクノロジー系を中心につぶやいていますiPad miniで手帳やりたい人、テクノロジー好きな人は、フォローしてみてください。皆さんのオススメアプリ良かったら教えてください。

フリーTVディレクター過去「特ホウ王国」「笑ってコラえて」「黄金伝説」「おもいっきりイイTV」「ダウンタウン7」その他色々。 ロード乗り(ブルベSR)/愛車Pinarello DOGMA2。 ツイートサッカーor自転車絡みが多いです。社会人自転車サークル運営メンバーもしてます

フリーライターの赤木智弘です。 ご感想お仕事等は。「shimanekoblog(アットマークhttp://gmail.com 」まで。 日常系ほんわかツイートします。 社会的な話などは https://www.facebook.com/tomohiroakagi

2020-04-04

anond:20200404012855

圏とアーベル圏についてざっくり調べてみたけどわからんな(当たり前だが)。この後はわかってない人間勘違いを多分に含んだ与太話だ。

多分計算機は群と関数の集まりだとみなせるんで圏の一種だと思うことはできそう。

ただ、計算機世界には計算中という状態存在するけれど、数学抽象的になるほど状態を気にしないというか、計算が一瞬でできるものの様に扱っていそう。

から情報学圏論は相性悪そうだと思う。

情報学にはその計算がどのくらいの時間でできるのかということをざっくり表すオーダー(計算量。Oって書く)という考え方があるけど、圏論にもオーダーの概念を取り込んで見ると面白いかも知れない。

例えば、クイックソートバブルソートをする計算機があったとして、多分普通に圏論世界で考えると計算機の中身は気にせず結果は同じだから同じ計算機だと考えそうだけど、情報学世界だとクイックソートはO(n log n)でバブルソートはO(n^2)なんで、同じソート計算機でも別物として扱う。

アルゴリズムはなぜアルゴリズムであって関数と呼ばれていないのか?それは俺も知らんのだけど、関数計算量の概念を付け加えてみると今まで同じだと思われていたことが実は違ったみたいな話になってますますカオスになるのかも。

2020-03-29

[][][][]出来事時間)を可視化(記録)して改善する時間形跡管理

時間とは出来事 出来事にはコントロールできる出来事と出来ない出来事があります

幸福への道はただ一つしかない。それは意志の力でどうにもならない物事は悩んだりしないこと

エピクテートス

自分未来は変えられる。他人過去は変えられない

ttps://bit.ly/2KMylyt

「なんとなく」を可視化し「変えられるもの」に集中する

ttps://bit.ly/2rA5uoT

最近他人を説得したり意見することにエネルギーを使うことをやめました。それよりも自分を変えることが大切

ttps://bit.ly/2rxGcbU



一歩一秒一円 ある工場標語

「1円のコストカットは、1円の粗利と等しい」

ttps://bit.ly/2PCg5w7

時間の使い方は、そのまま命の使い方になる。

渡辺和子



ためしてガッテンでも紹介された10秒で心のスイッチを入れる技術

10分刻みの目標を書く

ttps://b.hatena.ne.jp/entry?url=http%3A%2F%2Freadingmonkey.blog45.fc2.com%2Fblog-entry-534.html

Doingリスト

1本の縦線を引いて、スペースを左右に分ける。

紙の左側に、やるべきタスクメモ。書いたタスクを上から順に実行していく。

紙の右側には、左側のタスクをしている途中で割り込んできた、ほかのやりたい・やらなければならないタスクメモ。このタスクにはすぐ取りかからない。

ttps://b.hatena.ne.jp/entry/s/studyhacker.net/doing-list

25000ドルアイデア

① 夜寝る前に、あなた明日しなくてはならない最も重要な6つの項目を書き出しなさい

② その6つの項目に対し、優先順位の高い順に番号をつけなさい

③ 翌日目が覚めたら、一番目から順にこなしなさい

④ 一番目が終わるまで、決して二番目に取り組んではいけません

ttp://nyhomepre.blog133.fc2.com/blog-entry-128.html

チェックリストを使うことで、使用する注意の量はぐっと減らせる。やってみるとわかるが、たしかチェックリストがあると、安心感がすさまじい。

ttps://rashita.net/blog/?p=22462

時間管理マトリックス

「B 緊急でないが重要」がポイント

ttp://anond.hatelabo.jp/20080611104739

A 緊急かつ重要 

B 緊急でないが重要

C 緊急だが重要ではない 

D 緊急でも重要でもない

一番重要事柄最初に処理する。カーネギー

ttps://anond.hatelabo.jp/20081026120629

最も必要な事を、その主要点から着手しなさい。ヒルティ

ttps://anond.hatelabo.jp/20081019210038

出来事可視化時間形跡管理帳(日記)、使った時間を採点して時間成績表を作ろう(超生産的な時間生産的な時間非生産的時間?)

ウィークリーは24時間バーチカル

クワクリストが全ての原動力です。

ttps://www.amazon.co.jp/gp/product/B089Y499XY

24時間月曜日から日曜日まで俯瞰出来る

24時間バーチカル

ttps://www.amazon.co.jp/dp/B07VC4NKWY

リクルートで全国トップを取った手帳

1週間を俯瞰できるバーチカル型を使う

ttps://twitter.com/iritec_jp/status/1323751636326494208

忙しくても時間が余る!インテルCEOに学ぶ時間管理

自分24時間を把握しなさい、これを一週間続けて下さい

ttps://www.youtube.com/watch?v=ZKAdrcNjgu0

自分が1日やっていることをすべて書き出してリスト

ttps://www.sbbit.jp/article/fj/36984



まずは、あなたの超忙しい1日を、ノートに書きだして俯瞰してみてみることをおすすめします。

その一つ一つの仕事が、非生産的仕事なのか?生産的な仕事なのか?超生産的な仕事なのか?振り分けてみましょう。

ttps://ecnomikata.com/column/24115/

大企業、分業、歯車マニュアル化

「仕組み」を作った社長が生き残る!: トップ付加価値の創出に時間を使え!

経営者は仕組みづくりに専念しろ

人材会社資産として残らないが仕組みは会社資産として永遠に残る

ttps://www.amazon.co.jp/dp/B010JM64M6/

自分がやれば早いことでも(それこそ1分で終わるとしても)、それを伝えて担当者にしてもらったほうがいい理由は、次から担当者にやってほしいから。自分がやる限り、永遠に自分がやらなきゃいけなくなる。その場では一見効率なようだけど、理由を伝えて担当者にやってもらうプロセス大事

ttps://twitter.com/iritec_jp/status/1333942914225905665

時間あたり100ドル稼げる弁護士が、自分の半分のスピードしかタイプを打てないタイピストを時給10ドルで雇うという例

ttps://ameblo.jp/masahiko-shoji/entry-11980189719.html

仕事が「属人化」していることが、問題の根幹なのだと気付きました。

チームメンバーの誰が何をしているのか、仕事プロセス可視化して、仕事個人でなくチームのものにする

ttps://www.persol-group.co.jp/ing/2020/20200428_5439/index.html

ビルゲイツは私よりももっと先鋭化させた考えを持っています最初に私が驚いたのは、彼が何らかの説明社員から聞く時に、直接その社員からは話を聞かないことです。彼は情報をかみくだき、彼にわかやす説明してくれる専門の社員を雇っていたのです。

ttps://zuuonline.com/archives/208033

ダブルチェック

印鑑箱は二重にして、外箱は手提げ金庫、内箱は小型の印鑑箱とする。そして内箱の鍵の管理である捺印者とそと箱の鍵の管理者とを必ず別のものにして、相互チェックができるようにした。

ttp://www.asahi-net.or.jp/~lu1a-hdk/inamori-jitugaku.htm



1日1回、手帳活用して「振り返り・反省」することの効果メリット

ttps://takadahikaru.com/furikaeri/

一日に一回、「思索時間」を持っています

ttps://www.kouenirai.com/kakeru/column/business/namai_shouri/730

使った時間を振り返る! 時間の使い方改善につながる簡単記録法

ttps://www.eigyousapuri.jp/timemanage/20180904_1302



幸せ日記

ttps://bit.ly/3aG4IM3

クワクできるかどうかなんだ

ttps://bit.ly/2J8ak5W

ソース あなた人生の源はワクワクすること

ttps://amzn.to/3gZmWv1


出来事時間)を可視化(記録)して改善する時間形跡管理

25000ドルアイデア

ttps://bit.ly/2Kg0EF8

プロフェッショナルの条件

6.書きとめておく---イエズス会カルヴァン派の教訓

イエズス会カルヴァン派では、重要な決定をする際に、その期待する結果を書きとめておかねばならないことになっていた。一定期間の後、たとえば九か月後、実際の結果とその期待を見比べなければならなかった。

時間を管理する

「私の観察によれば、成果をあげる者は仕事からスタートしない。

時間からスタートする。計画からスタートしない。

何に時間がとられているかを明らかにすることからスタートする。

次に、時間管理すべく、自分時間を奪おうとする非生産的要求を退ける。

そして最後に、その結果得られた時間を大きくまとめる。

すなわち、時間を記録し、管理し、まとめるという三つの段階が、成果をあげるための時間管理の基本となる」

中略

「われわれは、どのように時間をすごしたかを、記憶に頼って知ることはできない。」

中略

時間の記録の次に来る一歩は、体系的な時間管理である時間を浪費する非生産的活動を見つけ、排除していくことである

リモートワーク時代を生き抜くためのセルフマネジメントのスキルと思考法(その1)「時間からスタート」「タスクばらし」「そもそも思考」

1日の予定と実績を見比べて自分時間の使い方を改善していきます

中略

成果をあげる者は仕事からスタートしない。時間からスタートする。計画からスタートしない。

時間が何にとられているかを明らかにすることからスタートする。


自分時間他人時間

1時間につき18ドル73セントまで行かない仕事はアウトソースできる 日々の仕事や雑事は「個人アウトソーシング」してより価値のある活動に時間を使う

その資本主義社会においては、大きく分けると2種類の人間しかいないことを知っておかねばならない。

自分24時間を使って稼ぐ人と、他人24時間を使って稼ぐ人。

前者を「サラリーマン」と呼び、後者を「資本家」と呼ぶ。

ttps://www.akiba-dokushokai.tokyo/kurushikatta-toki-no-hanashi-wo-shiyouka-morioka-tsuyoshi/

資本主義ハック 新しい経済の力を生き方に取り入れる30の視点 冨田和

「1日24時間240時間にする方法

時間は誰もが一日24時間平等、ではない。

自分が行えば216時間分の作業を、他者時短家電などの仕組みにアウトソーシングすれば、

自分24時間と合わせて10倍の240時間だってできる。

ttps://amzn.to/2QlwPJ2

あなたにできないことを代わりにやってくれて、あなたのコアバリューを引き出してくれる人、しかも同時に、相手メリットを感じてくれるような人―それこそが「いい人」、あなた人生必要な人だ。

ttps://toyokeizai.net/articles/-/348398?page=2

.

どの港に入るのか分からなければ、どの風も追い風にはならない。

セネカ

たとえば或る人が港を出るやいやな激しい嵐に襲われて、あちらこちらへと押し流され、四方八方から荒れ狂う風向きの変化によって、同じ海域をぐるぐる引き回されていたのであれば、それをもって長い航海をしたとは考えられないであろう。

この人は長く航海したのではなく、長く翻弄されたのである

セネカ

ttps://sessendo.hatenablog.com/entry/20110101/p4

自分の銭を分けてやりたがる者は見当たらないが、

生活となると誰も彼もが、なんと多くの人々に分け与えていることか。

財産を守ることは吝嗇(けち)であっても、

時間を投げ捨てる段になると、貪欲であることが唯一の美徳である場合なのに、

たちまちにして、最大の浪費家と変わる。

セネカ

ttps://sessendo.hatenablog.com/entry/20100711/p1



認知資源

ttps://bit.ly/2KXAM1M

毎日同じ服を着る

ttps://bit.ly/2ryA03r

"認知資源管理だけど、今何に認知資源無駄にしているのかこれを常時リアルタイム監視してどんどんメモしていく事やね。"

ttps://b.hatena.ne.jp/entry?url=https%3A%2F%2Ftwitter.com%2Fyosuke_kinosita%2Fstatus%2F1253823361152475137



いろいろな集中法でダメだった人でも楽しく仕事をこなせるかもしれない「ランダムネスマシン

ttps://gigazine.net/news/20200512-randomness-machine-vs-procrastination/



時間管理マトリックス

「B 緊急でないが重要」がポイント

ttp://anond.hatelabo.jp/20080611104739

A 緊急かつ重要 

B 緊急でないが重要

C 緊急だが重要ではない 

D 緊急でも重要でもない



一番重要な事柄を最初に処理する。カーネギー

最も必要な事を、その主要点から着手しなさい。ヒルティ

人は「物事には限りがある」と分かったとき、初めて戦略的になれる

ttps://amzn.to/2G2W5vp

戦略とは何をやらないかを決めること

ポーター



他者評価を気にかけず、他者から嫌われることを怖れず、承認されないかもしれないというコストを支払わないかぎり、自分生き方を貫くことはできない。つまり自由になれないのです(『嫌われる勇気』)。

ttps://twitter.com/wtsurumi/status/1076844181002174466



孤独を愛さな人間は、自由を愛さな人間にほかならない。なぜなら、孤独でいるときにの人間自由なのだから

ショーペンハウアー

孤独の裏には自由があり自由の裏には孤独がある

ttps://bit.ly/2nCe2tN

2020-03-27

anond:20200327093808

https://b.hatena.ne.jp/hotentry/all/20100326

10年前のホッテントリ

政治・時事系のニュースがたくさんありますね。

他も「IT系ニュースが多いかな?」という程度。

くっだらねえまとめブログネタ記事も多い。

https://b.hatena.ne.jp/hotentry/all/20200326

昨日のホッテントリ

コロナ騒動の渦中にあるからそれ系のニュースが増えているのは仕方ない。

全体の質としては大して変わらないように見えますね。

というわけでおまえは懐古厨な!

ログイン ユーザー登録
ようこそ ゲスト さん