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

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

Sep

20

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

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

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

Hashtag :#ebimath
Registration info

現地参加

1000(Pay at the door)

FCFS
1/12

Skype参加

Free

FCFS
5/20

Description

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

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

この勉強会では複数回に分けて、計算量に関わる問題、とくにP≠NP問題を数理論理学的にアプローチする試みについて紹介します。今回は前回に引き続きSamuel Bussが定義した限定算術の階層が計算量クラスとどのように関係しているかを解説します。今回で入門編は最終回となります。

料金

  • 一般 1000円
  • 学生 500円
  • 高校生以下無料
  • Skype参加無料:Skypeグループへのリンクを前日の同報メッセージで送付します。受け取れるようにしておいてください。

数学デー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 published [海老江数理科学勉強会]計算量への数理論理学的アプローチ#4.

09/07/2019 10:32

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

Group

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

Osaka Decentralized Technology Community

Number of events 174

Members 219

Ended

2019/09/20(Fri)

19:30
20:30

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

Registration Period
2019/09/07(Sat) 00:00 〜
2019/09/20(Fri) 19:30

Location

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

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

Attendees(6)

jun0inoue

jun0inoue

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

Satoshi Nakata

Satoshi Nakata

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

as_bara3

as_bara3

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

gotanto

gotanto

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

yf0fyf

yf0fyf

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

Zahlangabeheft

Zahlangabeheft

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

Attendees (6)