「np」を含む日記

■anond:20210321143204

C言語を作る方法はアセンブラ

アセンブラを作る方法はHEXバイナリ手打ち

HEXバイナリを作る方法は、ICチップ

ICを作るための

ベリログ

その前段階の半導体論理回路

その基礎のはんだごてとトランジスタでの加算器づくり

ダイオード

これらを情報工学の大学ではやります

いちおうPNPもやったりするけどたいしてはやらない

Permalink | 記事への反応(1) | 14:38

ツイートシェア

■WEINの前谷優太氏の行動は本当にまずいのでは？

WEINの一員として見てきたことを、すべて話します。

https://note.com/ugokuhonya/n/n6dd5b816560f

このエントリーを見て本当に驚いてしまった。これは、彼のこれからのキャリアを考える上では非常にまずいと思うのだが、その点について記す。

以下、書き留めておく。

まずい点①

当たり前だが、企業の不祥事や、内部闘争、トラブルなどが起きた場合には、会社からの情報公開は、一つの窓口に絞るべきである。

Twitterでは、やまもといちろう氏が以下のように述べていた。

22歳の社員が勇気を出して現状をnoteに書いたことは賞賛したいけど、悪く書かれたとは言え会社の中のことを、ましてやステークホルダーの状況や経過を経営者や広報でもない人間が実名で書いてはいかんのや…

https://twitter.com/ichiro_leadoff/status/1364738530946158594

これは会社経営においては基本的なものである。なぜなら、個人名を出して発信するということは、その発信内容はすべてその個人に帰属してしまうからだ。

まともな会社であれば、何かのトラブルがあった場合に、個人が情報を発信するということは絶対にさせない。あるとしたら、内部で情報が統制されているなどで、顧客などに不誠実なことが行われている場合に、内部告発という形で表出する。

その場合は、情報源を秘匿した状態でマスメディアに流されるのが一般的だ。

NewsPicksでは、ジャーナリストの中野円佳氏が以下の様に述べている。

内部告発等をするときに、noteやSNSで個人が声をあげやすくなっているということは良い面もありますが、こういうときにメディアが介在すれば、取材源の秘匿を守りつつ訴訟リスクはメディアが負う（そして訴訟されないように事実確認をしながら出していい情報だけど出す）ことができます。このnoteの著者の方はNP取材にも同席しているということですし溝口氏はnoteが出ることも知っていたのでしょう。内容が貴重で勇気の要るものだったとしても、社会人経験の長い人たちが、様々なリスクがあるものをそのまま垂れ流しで書かせてしまうのではなくてもう少し彼を守ってあげながら証言してもらうことを促せなかったのかなと思います…。

これもマスメディアの人間からすると、当たり前の感覚である。個人名を出して内部告発をするのは、極めて危険性が高いからだ。法的責任も負うことになりかねないし、何よりも、内部の情報を平気で出す人間だと認識されてしまうことは、今後の仕事人生においては極めて困ることになるからだ。

まずい点②

さらにまずいのが、このエントリーを、WEINの代表の溝口氏が読むことを推奨してしまっていることだ。以下のフェイスブックへの投稿で、以下のように当該エントリーが紹介されている。

追記:以下は、一度は西本さんを支持したWEINの仲間による真実が書かれたnoteです。より状況をご理解いただきやすいと思います。私も初めて知ることばかりでした。。。是非お時間が許す時にご覧ください。

https://www.facebook.com/mizoguchiyuji/posts/4022668414443877

代表が「真実」といっており、閲覧を推奨している。また、この投稿の最初には「【シェア／拡散のお願い】」と書いてある。

当事者であり、代表がこのような形で拡散するということは、これが会社としての公式な見解だ、とみなされる可能性が高い。

しかし、この前谷氏のエントリーには、中身に第三者の調査が入っているわけでもなく、あくまで22歳のインターン生が見てきた内容であり、彼が個人で書いたものにすぎない。

溝口氏も「私も初めて知ることばかり」といっているように、会社が正式に調査したものでもない。

にもかかわらず、これを「真実だ」といって拡散してしまうのは極めて危険である。というのも、溝口氏や会社の広報が書くのであればまだしも、22歳のインターンの責任で書かれてしまっているためだ。

これらの中身がもしも事実でなかった場合や、それによって関係者が被害を被った場合に、前谷氏が責任を負うことになってしまう。

まずい点③

そして、社内事情や社内のやり取りなどが、無断で公開されている点もまずい。重大なコンプライアンス違反になる。

当然、これらは機密情報であり、一個人が自分の判断で出していいものではない。ましてや役職もないインターン生が出してしまうのは大きな問題である。

好意的に見ると、前谷氏の行動は「会社や信頼している溝口さんを守るため」ということであり、悪意はないだろう。ましてやまだ社会人経験がない若者だ。その暴走は、注意すべきものではあるが、あまり重い罰を受けさせるべきではないと思う。公開されてしまったら、会社は速やかに「このような見解や事実関係については、会社が広報で発表するのでやめてくれ」とし、削除するのが一般的である。

しかし、会社の代表がこのエントリーを拡散し「真実だ」といってしまい、多くの人の目に留まるようにしたら、問題は大きくなる。前谷氏個人の責任になっているにも関わらず、あくまで会社の公式見解とは言わず、しかし代表が拡散することで真実だと思わせる形で広げる、ということが行われると、このエントリーと前谷氏の名前が広がり続けることになる。

結果として、前谷氏が「会社の内部情報や機密情報を外に漏らす、重大なコンプライアンス違反をする者であり、さらにその治癒を早期に行わず、放置し続けた」人物として認知されてしまう。

スタートアップ界隈での情報の流通は早く、またWEINの本件は多くの人が注目しているため、名が知れ渡ってしまった。就職活動、および転職活動で大きな足かせとなってしまう危険性がある。

責任はどこか

このWEIN社の件についての真実はわからない。しかし、その後の対応を見ていると、WEIN社のコンプライアンスでいうととてもまずい状態にはなっている。情報発信の統一などが一切されておらず、関係者がWEINをかばう発言をし、それを代表が拡散する、ということが続いている。

これは、勝手に仲間がどんどんかばう発言をしてくれて、それを拡散しているだけであり、投稿の責任は個々人だ、となるので溝口氏の手段としては有効である。法的にも問題がない。

しかし、会社の倫理として、発言の責任やリスクをインターン生などにおわせてもいいのだろうか？将来がある22歳が、この件で、経歴に傷を負ってもいいのだろうか？

野次馬からしてみると、情報がどんどん出てくるので当然楽しめてしまう。WEINからしてみると、勝手にリスクを追った若者が特攻してくれるので、助かる。そして、社会の常識をわかっていない若者だけが、甚大なリスクを負わされているが、「よくぞいってくれた」という溝口氏やWEINメンバー、野次馬たちに乗せられてそれに気づかない。

あまりに扱いがひどいのではないだろうか。

「前谷優太」という名前で検索されたときに、重大なコンプライアンス違反をした人物としてのみ残り続けるのがあまりに酷だと思うので、この投稿をした。あくまでこの発信の責任は、投稿を許容したどころか、推奨するかのような素振りを見せたWEIN社にある、と私は考える。

Permalink | 記事への反応(0) | 16:17

ツイートシェア

■ファンタジアリビルドすき

富士見ファンタジア文庫のソシャゲ

酷評されてて公に言えないけどすき

ゼルガディスの再臨がダサいってまとめブログに書かれたけどすき

シナリオがなろうレベルって言われてるけど、そもそもなろうも出してるラノベレーベルが元だからノリが合ってると思う

ただ明らかにFGOのパクりなのは擁護できないしサンタ加藤恵ちゃんガチャ回して出なかったのはきらい

でもすき。前衛と後衛を入れ替えて戦えるのすき。前衛でNP貯めたら最後のボスまで温存する為に後衛と交代して乗り切って宝具ぶちかますのすき

クロスオーバーすき。好きなキャラが知らないキャラと掛け合い漫才しててクスっときた。今その知らないキャラの作品のアニメ見てる

すきだけど勧められない出来なのは知っているから黙る

Permalink | 記事への反応(0) | 14:39

ツイートシェア

■2020年どこのサイトが最もはてブのホットエントリに入ったか

anond:20210102150348

日毎の人気エントリーに何ページエントリーされたか、ドメインごとに集計

Permalink | 記事への反応(3) | 15:30

ツイートシェア

■[増田アドヴェント2020] 新型コロナ担当大臣どこいった？

菅内閣に新型コロナ担当大臣は存在しない。

西村氏、菅内閣になってから「新型コロナウイルス感染症対策担当大臣」の肩書きが外れた。

菅内閣 閣僚等名簿 | 首相官邸ホームページ

www.kantei.go.jp/jp/99_suga/meibo/index.html

コロナ対策「最優先課題」でも担当大臣いないけど？ デジタルや万博は新設：東京新聞 TOKYO Web

www.tokyo-np.co.jp/article/57292

元増が当初、勘違いしたのも仕方ない。

普通、新型コロナウイルス担当大臣なくすと思わないよね。

新型コロナウイルス(COVID-19)問題が解決してもいないのに。

西村氏、以前と同じように出しゃばってるし。

「勝負の３週間」、戦いの全記録

archive.md/20201217124527/https://anond.hatelabo.jp/20201216230814

「勝負の３週間」、戦いの全記録

https://anond.hatelabo.jp/20201216230814

元増だけでなく、TVのワイドショーやニュースショーでも菅内閣発足後も「西村新型コロナ担当相」呼びがしばしば見られた。

さすがに最近はなくなったが。

Permalink | 記事への反応(2) | 00:16

ツイートシェア

■anond:20201206143820

P≠NP予想を答えるんだよ

Permalink | 記事への反応(0) | 14:46

ツイートシェア

■Numpyがキモいのだけど

import したらPython の数学系のメソッドをオーバーライドしてくれないかな？わざわざ np とかするのめんどくさいのだけど。

Permalink | 記事への反応(1) | 21:46

ツイートシェア

■

そこまで言って委員会NPの録画を見てるんだけど、田嶋陽子の論調って、（毎度だけど）かなり極端だよね。芸風としてワザとなのかもしれないけど。

行き着く先は、試験管ベイビー＆産まれた子供は皆施設行き、になるんじゃないのこれ。生物学的な性差まで否定し始めると……

向き不向きは性差だったり個人差だったり色々あるんだから。この人自身が強烈に性差別してるのが、いつも気になる。色んな問題をごちゃ混ぜにしてるし。

Permalink | 記事への反応(1) | 18:25

ツイートシェア

■人権鯖引いたらFGOが楽しくなった

2年前くらいにFGOをDLしてから最近までろくにプレイしていなかった。

マギレコ民なので戦闘システムには馴染みがあり、気まぐれに遊んでみると楽しかったりするのだが、それがなかなか続かなかった。

理由としては、

1.強いサーバントを引けない

2.フレンドのマーリンや孔明でゴリ押しが出来なくなりメインを進めるのをさぼるようになる

3.そもそも弱いため育成のための周回が重い

4.終局特異点をクリアしていないのでイベントに参加できない、参加できても育成が追いついていないので途中で詰む

5.剣スロを初星5と勘違いして特別再臨を使い、ガン萎え（自業自得）

主にこの5つだ。

無課金の穀潰しなので文句は言えないが、石がたまった頃合いを見計らってログインしガチャを回すも爆死爆死＆爆死というのは中々辛いものがある。

そんな私にもようやく運が回ってきた。5周年ガチャでキャストリア二枚引き、さらにロリンチまで引き当てるという謎の業運を発揮。テンションが上がり、それまで全クラス満遍なく使っていた種火をぶち込んだ。

この二人はべらぼうに強かった。編成しておけばバフは盛れるわ、NPはすぐ溜まって宝具は連射できるわ、敵の攻撃は無効化できるわで今までとは一転し無双できるようになった。加えて前述の剣スロが上手いことかみ合うため、滞っていたメインも進むようになりロンドンから一気にキャメロットまで行けた。ガウェイン戦あたりから辛勝が増えてきたので、また育成を進めないといけないが。

強いサーバント、弱いサーバント、そんなのはマスターの勝手なのかもしれない。しかし、強いサーバントは使っていて楽しい。

周りのオタク友達が楽しくプレイしているのにどうして自分はいまいちハマることができないのか。その理由は、強いサーバントが居ないからだった。

Permalink | 記事への反応(2) | 22:02

ツイートシェア

■ジンバブエですら視聴できるのにお前らときたら

赤毛のアン　オープニングテーマ：きこえるかしら

Allowed countries

AD - Andorra

AE - United Arab Emirates

AF - Afghanistan

AG - Antigua and Barbuda

AI - Anguilla

AL - Albania

AM - Armenia

AO - Angola

AQ - Antarctica

AR - Argentina

AS - American Samoa

AT - Austria

AU - Australia

AW - Aruba

AX - Åland Islands

AZ - Azerbaijan

BA - Bosnia and Herzegovina

BB - Barbados

BD - Bangladesh

BE - Belgium

BF - Burkina Faso

BG - Bulgaria

BH - Bahrain

BI - Burundi

BJ - Benin

BL - Saint Barthélemy

BM - Bermuda

BN - Brunei Darussalam

BO - Bolivia (Plurinational State of)

BR - Brazil

BS - Bahamas

BT - Bhutan

BV - Bouvet Island

BW - Botswana

BY - Belarus

BZ - Belize

CA - Canada

CC - Cocos (Keeling) Islands

CD - Congo (Democratic Republic of the)

CF - Central African Republic

CG - Republic of the Congo

CH - Switzerland

CI - Côte d'Ivoire

CK - Cook Islands

CL - Chile

CM - Cameroon

CN - China

CO - Colombia

CR - Costa Rica

CU - Cuba

CV - Cabo Verde

CX - Christmas Island

CY - Cyprus

CZ - Czech Republic

DE - Germany

DJ - Djibouti

DM - Dominica

DO - Dominican Republic

DZ - Algeria

EC - Ecuador

EE - Estonia

EG - Egypt

EH - Western Sahara

ER - Eritrea

ES - Spain

ET - Ethiopia

FI - Finland

FJ - Fiji

FK - Falkland Islands (Malvinas)

FM - Micronesia (Federated States of)

FO - Faroe Islands

FR - France

GA - Gabon

GB - United Kingdom of Great Britain and Northern Ireland

GD - Grenada

GE - Georgia (country)

GF - French Guiana

GG - Guernsey

GH - Ghana

GI - Gibraltar

GL - Greenland

GM - Gambia

GN - Guinea

GP - Guadeloupe

GQ - Equatorial Guinea

GR - Greece

GS - South Georgia and the South Sandwich Islands

GT - Guatemala

GU - Guam

GW - Guinea-Bissau

GY - Guyana

HK - Hong Kong

HM - Heard Island and McDonald Islands

HN - Honduras

HR - Croatia

HT - Haiti

HU - Hungary

ID - Indonesia

IE - Republic of Ireland

IL - Israel

IM - Isle of Man

IN - India

IO - British Indian Ocean Territory

IQ - Iraq

IR - Iran (Islamic Republic of)

IS - Iceland

IT - Italy

JE - Jersey

JM - Jamaica

JO - Jordan

KE - Kenya

KG - Kyrgyzstan

KH - Cambodia

KI - Kiribati

KM - Comoros

KN - Saint Kitts and Nevis

KP - North Korea

KR - Korea (Republic of)

KW - Kuwait

KY - Cayman Islands

KZ - Kazakhstan

LA - Lao People's Democratic Republic

LB - Lebanon

LC - Saint Lucia

LI - Liechtenstein

LK - Sri Lanka

LR - Liberia

LS - Lesotho

LT - Lithuania

LU - Luxembourg

LV - Latvia

LY - Libya

MA - Morocco

MC - Monaco

MD - Moldova (Republic of)

ME - Montenegro

MG - Madagascar

MH - Marshall Islands

MK - Republic of Macedonia

ML - Mali

MM - Myanmar

MN - Mongolia

MO - Macao

MP - Northern Mariana Islands

MQ - Martinique

MR - Mauritania

MS - Montserrat

MT - Malta

MU - Mauritius

MV - Maldives

MW - Malawi

MX - Mexico

MY - Malaysia

MZ - Mozambique

NA - Namibia

NC - New Caledonia

NE - Niger

NF - Norfolk Island

NG - Nigeria

NI - Nicaragua

NL - Netherlands

NO - Norway

NP - Nepal

NR - Nauru

NU - Niue

NZ - New Zealand

OM - Oman

PA - Panama

PE - Peru

PF - French Polynesia

PG - Papua New Guinea

PH - Philippines

PK - Pakistan

PL - Poland

PM - Saint Pierre and Miquelon

PN - Pitcairn

PR - Puerto Rico

PS - State of Palestine

PT - Portugal

PW - Palau

PY - Paraguay

QA - Qatar

RE - Réunion

RO - Romania

RS - Serbia

RU - Russian Federation

RW - Rwanda

SA - Saudi Arabia

SB - Solomon Islands

SC - Seychelles

SD - Sudan

SE - Sweden

SG - Singapore

SH - Saint Helena, Ascension and Tristan da Cunha

SI - Slovenia

SJ - Svalbard and Jan Mayen

SK - Slovakia

SL - Sierra Leone

SM - San Marino

SN - Senegal

SO - Somalia

SR - Suriname

ST - Sao Tome and Principe

SV - El Salvador

SY - Syrian Arab Republic

SZ - Swaziland

TC - Turks and Caicos Islands

TD - Chad

TF - French Southern Territories

TG - Togo

TH - Thailand

TJ - Tajikistan

TK - Tokelau

TL - Timor-Leste

TM - Turkmenistan

TN - Tunisia

TO - Tonga

TR - Turkey

TT - Trinidad and Tobago

TV - Tuvalu

TW - Taiwan

TZ - Tanzania, United Republic of

UA - Ukraine

UG - Uganda

UM - United States Minor Outlying Islands

US - United States of America

UY - Uruguay

UZ - Uzbekistan

VA - Vatican City State

VC - Saint Vincent and the Grenadines

VE - Venezuela (Bolivarian Republic of)

VG - British Virgin Islands

VI - United States Virgin Islands

VN - Viet Nam

VU - Vanuatu

WF - Wallis and Futuna

WS - Samoa

YE - Yemen

YT - Mayotte

ZA - South Africa

ZM - Zambia

ZW - Zimbabwe

Disallowed countries

DK - Denmark

JP - Japan

Permalink | 記事への反応(2) | 17:06

ツイートシェア

■コロナ感染者カレンダー３Dプロット

４月１３日の週から、今週まで東京都のデータ入れて、matplotlibで３D化してみた。

今週の明日以降のデータは先週値からプラス10で入れてます。

これだと減ってる様子は見て取れないけど、東洋経済のサイトのグラフだと実行再生算数１切ってるんだよね。

感覚とは合わないけど、ここから下がる予定。不思議なもんだ。

下記のコードは好きに使ってくださいな。

GoogleのCode Labとかならすぐに遊べます。

---

from mpl_toolkits.mplot3d import Axes3D

import matplotlib.pyplot as plt

import numpy as np

x = np.array([-1, -2, -3, -4, -5, -6, -7]) # from Mon to Sun

y = np.array([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]) # From Apr13 to onward

X, Y = np.meshgrid(x, y)

# Number Data of New Infection Patient

Z = np.array([[ 98,161,127,150,204,185,107], # Apr13

[100,123,125,134,166,107,76], # Apr20

[40,112, 47, 46, 164,159, 90], # Apr27

[87, 57, 37, 23, 39, 36, 22], # May4

[15, 28, 10, 30, 9, 14, 5], # May11

[ 10, 5, 5, 11, 3, 2, 14], # May18

[ 8, 10, 11, 15, 22, 14, 5], # May25

[ 13, 34, 12, 28, 20, 26, 14], # Jul1

[ 13, 12, 18, 22, 25, 24, 47], # Jul8

[ 48, 27, 16, 41, 35, 39, 35], # Jul15

[ 29, 31, 55, 48, 54, 57, 60], # Jul22

[ 58, 54, 67,107,124,130,111], # Jul29

[102,106, 75,224,243,206,206], # Jul6

[119,143,165,286,293,290,188], # Jul13

[168,237,238,366,260,295,239], # Jul20

[131,266,250,367,463,472,292], # Jul27

[282,276,260,377,473,482,302]]) # Aug3 : encliding expectations = prev week number + 10

fig = plt.figure(figsize=(10,8))

ax = Axes3D(fig)

ax.set_xlabel('Day', fontsize=16)

ax.set_ylabel('Week', fontsize=16)

# OUR ONE LINER ADDED HERE:

ax.get_proj = lambda: np.dot(Axes3D.get_proj(ax), np.diag([0.8, 1.2, 1, 1]))

ax.plot_wireframe(X, Y, Z)

ax.plot_surface(X, Y, Z, cmap=plt.cm.jet, rstride=1, cstride=1, linewidth=0)

plt.show()

Permalink | 記事への反応(0) | 16:42

ツイートシェア

■anond:20200728130732

一夫多妻でないとデキないなーnPｾｸｰｽ...

Permalink | 記事への反応(1) | 13:31

ツイートシェア

■一方はふつうの数学の文章。もう片方は全くデタラメな文章である

一方は正しい数学の文章である。もしかしたら間違っているかも知れないが、少なくとも数学的に正しいか間違っているかが判定できる。

もう一方は完全に出鱈目な文章である。数学的に何の意味もない支離滅裂なものである。

文章1

本稿を通して、kは代数閉体とする。

k上の射影直線ℙ^1から射影平面ℙ^2への射

i: [x: y] → [x^2: xy: y^2]

を考える。iの像は、ℙ^2の閉部分スキーム

Proj(k[X, Y, Z]/(Y^2 - XZ))

と同型であり、iはℙ^1のℙ^2への埋め込みになっている。ℙ^2の可逆層O_{ℙ^2}(1)のiによる引き戻しi^*(O_{ℙ^2}(1))は、ℙ^1の可逆層O_{ℙ^1}(2)である。つまり、O_{ℙ^1}(2)はℙ^1のℙ^2への埋め込みを定める。

与えられたスキームが射影空間に埋め込めるかどうかは、代数幾何学において重要な問題である。以下、可逆層と射影空間への射の関係について述べる。

定義:

Xをスキームとし、FをO_X加群の層とする。Fが大域切断で生成されるとは、{s_i∈H^0(X, F)}_{i∈I}が存在して、任意の点x∈Xに対して、ストークF_xがO_{X,x}加群としてs_{i,x}で生成されることである。

Xをk上のスキーム、LをX上の可逆層で大域切断で生成されるものとする。d + 1 = dim(H^0(X, L))とし、s_0, ..., s_dをH^0(X, L)の生成元とする。このとき、Xからk上の射影空間ℙ^dへの射fが

f: x → [s_0(x): ...: s_d(x)]

により定まり、ℙ^dの可逆層O_{ℙ^d}(1)のfによる引き戻しf^*(O_{ℙ^d}(1))はLになっている。この射が埋め込みになるとき、Lをベリーアンプルという。生成元の取り方に寄らない定義を述べると、以下のようになる。

定義:

Xをk上のスキーム、LをX上の可逆層とする。Lがベリーアンプルであるとは、k上の射影空間ℙ^dと埋め込みi: X → ℙ^dが存在して、L～i^*(O_{ℙ^d}(1))となることである。

例として、ℂ上の楕円曲線（種数1の非特異射影曲線）Eを考える。閉点p∈Eと自然数n≧1に対して、因子pに付随する可逆層O_{E}(np)={f∈K(E)| np + (f)≧0}を考える。Riemann-Rochの定理より、

dim(O_{E}(np)) - dim(O_{E}(K - np)) = deg(np) + 1 - g = n

∴ dim(O_{E}(np)) = n + dim(O_{E}(K - np))

であり、楕円曲線上の正則微分形式は零点も極も持たないから、すべてのnに対してdeg(K - np)＜0であり、よってdim(O_{E}(K - np))=0。

∴ dim(O_{E}(np)) = n

n = 1の場合、O_{E}(p)はベリーアンプルではない。n = 2の場合も、よく知られたように楕円曲線は射影直線には埋め込めないから、O_{E}(2p)もベリーアンプルではない。n≧3のとき、実はO_{E}(np)はベリーアンプルになる。

この例のように、Lはベリーアンプルではないが、自身との積を取って大域切断を増やしてやるとベリーアンプルになることがある。その場合、次元の高い射影空間に埋め込める。

定義:

Xをk上のスキーム、LをX上の可逆層とする。十分大きなnに対して、L^⊗nがベリーアンプルとなるとき、Lをアンプルであるという。

与えられた可逆層がアンプルであるか判定するのは、一般的に難しい問題である。アンプルかどうかの判定法としては、Cartan-Serre-Grothendieckによるコホモロジーを用いるものと、Nakai-Moishezonによる交点数を用いるものが有名である。

定理(Cartan-Serre-Grothendieck):

XをNoether環上固有なスキーム、LをX上の可逆層とする。Lがアンプルであるためには、X上の任意の連接層Fに対して、自然数n(F)が存在して、

i≧1、n≧n(F)ならば、H^i(X, F⊗L^⊗n) = 0

となることが必要十分である。

定理(Nakai-Moishezon):

Xをk上固有なスキーム、DをX上のCartier因子とする。可逆層O_{X}(D)がアンプルであるためには、Xの任意の1次元以上の既約部分多様体Yに対して、

D^dim(Y).Y＞0

となることが必要十分である。

文章2

kを体とし、Xをk上の代数多様体とする。Xに対して、環E(X)が以下のように定まる。E(X)は

E(X) = E_0⊕E_1⊕E_2⊕...

と分解し、各E_dはXのd次元部分多様体のホモトピー同値類からなるk上のベクトル空間であり、d次元部分多様体Yとe次元部分多様体Zに対して、[Y]∈E_d, [Z]∈E_eの積は、代数多様体の積の同値類[Y×Z]∈E_{d+e}である。この積は代表元Y, Zの取り方によらず定まる。各E_dの元のことを、d次元のサイクルと呼ぶ。

このE(X)をXのEuclid環という。Euclid環の名称は、Euclidによる最大公約数を求めるアルゴリズムに由来する。すなわち、任意のサイクル[Y], [Z]∈E(X) ([Z]≠0)に対して、あるサイクル[Q], [R]∈E(X)が一意的に存在して、

・[Y] = [Q×Z] + [R]

・dim(R)＜dim(Z)

が成り立つためである。ここで、[R] = 0となるとき、[Z]は[Y]の因子であるという。

dim(X) = nとする。d≧n+1を含むE_dを上述の積の定義により定める。すなわち、任意のサイクルz∈E_dは、Xのd次元部分多様体Zが存在してz = [Z]となっているか、d = e + fをみたすe, fと、[E]∈E_e、[F]∈E_fが存在して、z = [E×F]となっている。後者のように低次元のサイクルの積として得られないサイクルを、単純サイクルまたは新サイクルという。

このとき、k上の代数多様体X_∞で、任意の[Z]∈E(X)に対して、[X_∞×Z] = [X_∞]、[X_∞∩Z] = [Z]∈E(X)となるものが存在する。このX_∞をXの普遍代数多様体と呼び、E~(X) = E((X))⊕k[X_∞]をE(X)の完備化または完備Euclid環という（ただし、E((X)) = {Σ[d=0,∞]z_d| z_d∈E_d}）。完備Euclid環の著しい性質は、Fourier級数展開ができることである。

定理:

各dに対して、単純サイクルからなる基底{b_{d, 1}, ..., b_{d, n(d)}}⊂E_dが存在して、任意のf∈E~(X)は

f = Σ[d=0,∞]Σ[k=1,n(d)]a_{d, k}b_{d, k}

と表される。ただし、a_{d, k}はHilbert-Poincaré内積(f = [Z], b_{d, k})=∫_{b}ω^d_{X_∞}∧[Z]で与えられるkの元である。

Xとしてk上の代数群、つまり代数多様体であり群でもあるものを考える。このとき、Xの群法則はX×XからXへの有理写像になるから、完備Euclid環上の線形作用素を誘導する。この作用素に関しては、次の定理が重要である。

定理(Hilbert):

Xがコンパクトな代数群であれば、完備Euclid環に誘導された線形作用素は有界作用素である。

以下の定理は、スペクトル分解により単純サイクルによる基底が得られることを主要している。

定理(Hilbert):

上述の定義における単純サイクルによる基底は、完備Euclid環の固有自己作用素の固有ベクトルになる。

Permalink | 記事への反応(2) | 20:44

ツイートシェア

■【要注意】生存のためのコロナ対策ネットワーク

「生存のためのコロナ対策ネットワーク」

ttps://www3.nhk.or.jp/news/html/20200424/k10012404261000.html

ttps://www.tokyo-np.co.jp/article/politics/list/202004/CK2020042502000114.html

-

-

「下流老人」ブームの火付け役に 「貧困ビジネス」の過去

https://www.sentaku.co.jp/articles/view/15207

"十万部を超えるベストセラーとなった『下流老人』（朝日新書）。

著者の藤田孝典氏は、 メディアから引っ張りだこになっている。

しかし、福祉業界内では藤田氏の評判は悪い。 原因は藤田氏の「前科」にある・・・ "

-

-

#カルト・セクト新歓

-

"#東京大学 の #人権問題研究機構 は、新左翼セクトやフロント団体 #NPO法人POSSE と関わりがあるサークルです。

政治団体との関わりを隠し、チラシ等を渡さず（渡すこともある）に個人情報を収集して、メール等で勧誘します。

気をつけて下さい。写真は東大生提供（本当です）。"

http://archive.is/QBTMR

-

"今年の #一橋大 では、POSSEと同じ左翼セクトのフロントとして活動していた「クリティカルラボ」や

「スウォーム」と同じ手法で勧誘していたのは「 #反レイシズム情報センター （#ARIC）」でした。 ビラ入手。

で、先日の東大同様にまた警備員に通報されました。

http://archive.is/15aUu

-

やや日刊カルト新聞: ブラック企業対策NPO「POSSE」はブラックな左翼セクトだった

http://dailycult.blogspot.com/2016/10/npoposse.html

“ #POSSE からは抗議メールも来ないしプロバイダへの削除要求が来ているという連絡もありません。”

http://archive.is/hkaFG

-

The new article is coming soon!

http://archive.is/Z6NKo

Permalink | 記事への反応(0) | 11:17

ツイートシェア

■[日本語サイトはてブ数]2020年3月2日月曜日の増減

Permalink | 記事への反応(0) | 00:19

ツイートシェア

■[日本語サイトはてブ数]2020年1月2日木曜日の増減

Permalink | 記事への反応(0) | 00:15

ツイートシェア

■[日本語サイトはてブ数]2019年12月26日木曜日の増減

Permalink | 記事への反応(0) | 00:15

ツイートシェア

■[日本語サイトはてブ数]2019年12月19日木曜日の増減