新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Jul

19

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

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

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

Hashtag :#ebimath
Registration info

現地参加

1000(Pay at the door)

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

07/08/2019 13:06

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

Group

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

Osaka Decentralized Technology Community

Number of events 174

Members 219

Ended

2019/07/19(Fri)

19:30
20:30

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

Registration Period
2019/07/08(Mon) 00:00 〜
2019/07/19(Fri) 19:30

Location

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

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

Attendees(11)

asonosakan

asonosakan

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

jun0inoue

jun0inoue

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

宇佐見 公輔

宇佐見 公輔

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

m_nshr

m_nshr

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

htyt

htyt

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

uskz

uskz

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

nobo0409

nobo0409

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

Fujita-Kenetsu

Fujita-Kenetsu

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

Bob

Bob

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

Zahlangabeheft

Zahlangabeheft

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

Attendees (11)

Canceled (2)