新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

このエントリーをはてなブックマークに追加

Jul

5

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1

P≠NPなどの計算量の問題を数理論理学からアプローチする試みについて紹介します

Organizing : 山形賴之(国立研究開発法人 産業技術総合研究所 主任研究員)

Hashtag :#ebimath
Registration info

参加費

1000(Pay at the door)

FCFS
12/12

Description

計算量への数理論理学的アプローチ

ある問題を解くために最低でもどのくらいの時間やメモリが必要か見積もることは、コンピューターを使って計算をする上でとても重要なことです。このような見積もりを与えるのが「計算複雑度」であり様々な尺度が提案されています。もっともよく知られているのが「多項式時間P」と「非決定的多項式時間NP」です。しかし、これら計算複雑度の間の関係を数学的に厳密に証明することは多くの場合難しく、現状では経験的な議論に頼っています。例えば、NPであるような問題を解くのはPであるような問題を解くよりもずっと難しいであろうと予想されていますが、現状ではP≠NPも証明されていません。この問題を解決することはミレニアム懸賞問題の一つで、現代数学のもっとも困難で重要な問題とみなされています。

この勉強会では複数回に分けて、計算量に関わる問題、とくにP≠NP問題を数理論理学的にアプローチする試みについて紹介します。最初に計算量理論を簡単に紹介したのち、Bussによる「限定算術」の階層がそれとどのように関わるかを説明します。さらに、限定算術の階層を等式系の無矛盾性証明を用いて分離する試みについて、次の二つの論文を紹介することにより報告します。

Skypeでの中継も行います。希望される方は「問い合わせ」からSkype idを送ってください。

なお、次回以降の開催日については出席者と調整します。

料金

  • 一般 1000円
  • 学生 500円
  • 高校生以下無料

数学デーin大阪

海老江数理科学勉強会は数学デーin大阪の併設イベントです。

参加者は、3Fで行われている数学デーin大阪(19時から22時)に参加することができます。(参加は自由ですが、参加してくださるととても嬉しいです。)

主催

大阪分散技術コミュニティ(DTC)

HP

Twitter

場所

JR海老江駅、阪神電車野田阪神駅、地下鉄千日前線野田阪神駅、から徒歩5分

JR野田駅は最寄り駅ではないので注意。

https://goo.gl/maps/QVb8nkJyR9o

Presenter

山形賴之(国立研究開発法人 産業技術総合研究所 主任研究員) 山形賴之(国立研究開発法人 産業技術総合研究所 主任研究員)

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

yoriyuki

yoriyuki wrote a comment.

2019/07/01 17:33

変更は次回から行います。

yoriyuki

yoriyuki wrote a comment.

2019/07/01 17:33

すでに公開済みのイベントは時間変更はしません。

uskz

uskz wrote a comment.

2019/06/30 18:27

このイベントは19:30からじゃなくて20:00からのままで大丈夫ですか?

yoriyuki

yoriyuki published [海老江数理科学勉強会]計算量への数理論理学的アプローチ#1.

06/08/2019 15:32

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1 を公開しました!

Group

大阪分散技術コミュニティ

Osaka Decentralized Technology Community

Number of events 174

Members 219

Ended

2019/07/05(Fri)

20:00
21:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2019/06/07(Fri) 00:00 〜
2019/07/05(Fri) 21:00

Location

大阪分散技術コミュニティ

大阪府大阪市福島区海老江2丁目8−29 2F

Attendees(12)

onewan

onewan

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1に参加を申し込みました!

jun0inoue

jun0inoue

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1に参加を申し込みました!

yf0fyf

yf0fyf

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1に参加を申し込みました!

asonosakan

asonosakan

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1 に参加を申し込みました!

Satoshi Nakata

Satoshi Nakata

I joined [海老江数理科学勉強会]計算量への数理論理学的アプローチ#1!

Kuzz_pontie_Kak

Kuzz_pontie_Kak

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1に参加を申し込みました!

usami-k

usami-k

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1に参加を申し込みました!

HirokazuMaruoka

HirokazuMaruoka

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1 に参加を申し込みました!

イロノワ

イロノワ

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1 に参加を申し込みました!

m_nshr

m_nshr

[海老江数理科学勉強会]計算量への数理論理学的アプローチ#1 に参加を申し込みました!

Attendees (12)

Canceled (4)