- 追加された行はこの色です。
- 削除された行はこの色です。
* Hakata Workshop; Winter Meeting 2018 [#v72aa6dd]
''～Discrete Mathematics and its Applications～''
#br
Our purpose of this meeting is giving an opportunity to make a speech and to communicate with researchers who study various fields not only Combinatorics.
Further information is available from the organizers below.
**Organizers [#ud21e362]
-[[Yoshihiro Mizoguchi:http://imi.kyushu-u.ac.jp/~ym/]] (Kyushu University),~
-[[Tetsuji Taniguchi:http://researchmap.jp/tetsuzit-14/]] (Hiroshima Institute of Technology),~
-Osamu Shimabukuro (Nagasaki University),~
-[[Osamu Shimabukuro:http://research.jimu.nagasaki-u.ac.jp/IST?ISTActId=FINDJPDetail&ISTKidoKbn=&ISTErrorChkKbn=&ISTFormSetKbn=&ISTTokenChkKbn=&userId=100000912]] (Nagasaki University),~
-[[Makoto Tagami:https://sites.google.com/site/tagami77/]] (Kyushu Institute of Technology),
-Hirotake Kurihara (Kitakyushu National College of Technology),~
-[[Hirotake Kurihara:https://www.kct.ac.jp/seeds/ippann_rikei/kurihara.html]] (Kitakyushu National College of Technology),~
-[[Shuya Chiba:http://www.srik.kumamoto-u.ac.jp/chiba/chiba00.html]] (Kumamoto University),~
-[[Tsuyoshi Miezaki:https://sites.google.com/site/tmiezakij/]] (University of the Ryukyus),~
-Daniel GAINA (Kyushu University).
-[[Daniel GAINA:http://imi.kyushu-u.ac.jp/~daniel/]] (Kyushu University).
**Supported by [#i9925d50]
-[[Graduate School of Mathematics, Kyushu University:http://www.math.kyushu-u.ac.jp/eng/]]
-JSPS KAKENHI(Grant-in-Aid for Scientific Research (C)) Grant Number 25400217.
-JSPS KAKENHI(Grant-in-Aid for Scientific Research (C)) Grant Number 17K05346
**Date [#q4ec1cb5]
February 22 and 23, 2018
**Location [#g8525f22]
-Thursday,February 22
Kyushu University West 1 Lecture room (TBD)
(see https://www.kyushu-u.ac.jp/ja/campus/ito/)
九州大学伊都キャンパス(福岡市西区元岡744)ウェスト1号館D棟4階オーディトリアム前ホワイエ(see https://www.kyushu-u.ac.jp/ja/campus/ito/)
-Friday,February 23
Seminar Room Y-2 (2F) in Reference Eki Higashi Building.
1-16-14 Hakata-Eki-Higashi, Hakata-Ku, Fukuoka City, 812-0013
(see http://www.re-rental.com/ , [[Google maps:http://maps.google.com/maps?f=q&source=s_q&hl=en&geocode=&q=%E7%A6%8F%E5%B2%A1%E5%B8%82%E5%8D%9A%E5%A4%9A%E5%8C%BA%E5%8D%9A%E5%A4%9A%E9%A7%85%E6%9D%B11%E4%B8%81%E7%9B%AE16-14&aq=&sll=33.590188,130.425417&sspn=0.012888,0.021157&ie=UTF8&hq=&hnear=%E6%97%A5%E6%9C%AC,+%E7%A6%8F%E5%B2%A1%E7%9C%8C%E7%A6%8F%E5%B2%A1%E5%B8%82%E5%8D%9A%E5%A4%9A%E5%8C%BA%E5%8D%9A%E5%A4%9A%E9%A7%85%E6%9D%B1%EF%BC%91%E4%B8%81%E7%9B%AE%EF%BC%91%EF%BC%96%E2%88%92%EF%BC%91%EF%BC%94&ll=33.591064,130.424795&spn=0.012887,0.021157&z=16]] )
**Program [#q83a0a5b]
-Thursday,February 22
|16:00--17:30|[[ Poster Session (Software in Mathematics Demonstration Track in Hakata Workshop 2018):http://imi.kyushu-u.ac.jp/lasm/hakata2018/]]|
-Friday,February 23
||~Speaker|~Title|
|12:57--13:00|>|Opening (Tetsuji Taniguchi)|
|13:00-13:40| Takeshi Hatanaka (Tokyo Institute of Technology)|[[ Passivity-Based Control and Optimization: From Networked Robotics to Multi-agent Optimization >#ydtw6pm9]]|
|13:50-14:30| Akihiro Higashitani (Kyoto Sangyo University, Faculty of Science)|[[Characterization problem on Ehrhart polynomials of lattice polytopes>#qqrm2a4m]]|
|14:40-15:20|Hiroshi Tamaru (Hiroshima University)|[[Flat quandles and finite subsets in symmetric spaces>#ftwybfy3]]|
|15:30-16:00| Chiaki Nishijima (Kyushu University)|[[The calculation of eigenvalues of cycles and paths using Chebyshev polynomials>#yuatbajn]]|
|16:20-17:00| Shohei Satake (Graduate School of System Informatics, Kobe University)|[[Constructions of '''n'''-e.c. graphs and tournaments>#fxs5frze]]|
|17:10-17:50| Takanori Yasuda (Okayama university of science)|[[Cryptography Having a Resistance Against Quantum Computer>#s7teejt2]]|
|17:50--17:55|>|Closing(Yoshihiro Mizoguchi)|
**List of Poster session speakers [#yce40051]
***[[Software in Mathematics Demonstration Track in Hakata Workshop 2017:http://imi.kyushu-u.ac.jp/lasm/hakata2018/]] [#rd85c2ee]
+肖 俊廷 (九州大学大学院数理学府)
Efficient implementation of discrete Gaussian sampling for lattice-based cryptography on multiple platforms
+宮木 希 (九州大学大学院数理学府)
レイアウト問題の整数計画法を用いた解法
+平河 尭 (九州大学大学院数理学府)
論理式表現された問題の混合整数計画問題への自動変換
+山田 智史 (九州大学大学院数理学府)
Free Fem++を用いて作成したメッシュ上での数値計算
+池松 泰彦 (九州大学IMI)
GVWアルゴリズムの改良と実験結果
+松藤 ちひろ (九州大学大学院数理学府)
最適化された回転中心を用いた実時間スキニングアルゴリズムのBlenderでの実装
+安東 昂希 (九州大学理学部数学科)
計算体系に基づく古典論理の自動定理証明器の実装
**Abstract [#n9034c0b]
*** Takeshi Hatanaka [#ydtw6pm9]
-Title: Passivity-Based Control and Optimization: From Networked Robotics to Multi-agent Optimization
-Abstract:
This talk is intended to review a series of our works related to a notion called passivity.
In the former half, we address distributed robot motion coordination.This part start with general results on passivity-based output synchronization.The foundations therein are then shown to play a key role in achieving the objective. The presented control architecture is then extended to a scenario of interactions
between the robotic swarm and a human. The subject treated in the latter half is multi-agent optimization, wherein we present a perspective that solution processes for the intended problems are regarded as interconnections of passive systems.
We finally exemplify benefits of the present perspective by scenarios of
3D human localization for camera networks and co-optimization of multiple connected buildings.
*** Akihiro Higashitani [#qqrm2a4m]
-Title:Characterization problem on Ehrhart polynomials of lattice polytopes
-Abstract:
One of the most important invariants of a lattice polytope is the Ehrhart polynomial encoding the number of lattice points contained in its integral dilation. In this talk, after surveying the Ehrhart polynomials of lattice polytopes and their fundamental properties, we will focus on the characterization problem on the Ehrhart polynomials and give some recent results.
*** Hiroshi Tamaru [#ftwybfy3]
-Title:Flat quandles and finite subsets in symmetric spaces
-Abstract:
In this talk, we overview our recent studies on some interplays between quandles and symmetric spaces.
By applying an idea of symmetric spaces, we have defined the notion of flat quandles.
Furthermore, some finite subsets (subquandles) in symmetric spaces provide interesting examples of flat quandles.
These examples enable us to introduce the notion of s-commutative subsets in symmetric spaces, which is a generalization of antipodal sets.
*** Chiaki Nishijima [#yuatbajn]
-Title:The calculation of eigenvalues of cycles and pathes using
Chebyshev polynomials
-Abstract:
If we want to calculate the eigenvalues of the path of length n, first we often calculate the eigenvalues of the cycle of length &mimetex("2n+2");. But if we use the Chebyshev polynomials of the second kind, we can directly get the eigenvalues of
the path. I introduce the technique of the calculation.
*** Shohei Satake [#fxs5frze]
-Title:Constructions of &mimetex("n");-e.c. graphs and tournaments
-Abstract:
The &mimetex("n");-e.c. property is a typical property of Erd\H{o}s-R\'{e}nyi random graphs (or tournaments). The &mimetex("n");-e.c. property leads us to a generalization of the Sh\"{u}tte-Erd\H{o}s problem which asks the existence of tournaments such that there is a dominating vertex for all &mimetex("n"); vertices. This property also gives a solution to the problem of full graphs, that is, graphs which contain all ``small’’ graphs. In this talk, we give some constructions of &mimetex("n");-e.c. graphs and tournaments. Moreover, we also explain applications to other problems.
*** Takanori Yasuda [#s7teejt2]
-Title:Cryptography Having a Resistance Against Quantum Computer
-Abstract:
It has been already shown that the current public key system is
broken by using property of a quantum computer. A quantum computer
having the expected property does not exist yet now, but, it is urgently
necessary to develop cryptography having a resistance against quantum computer,
post-quantum cryptography. Multivariate public key cryptosystem is one of candidates of post-quantum cryptography. I will explain the principle and applications of this system.
