Jeong Han Kim




Jeong Han Kim (* 20. Juli 1962 in Seoul) ist ein südkoreanischer Mathematiker.


Kim studierte an der Yonsei Universität und wurde 1993 bei Jeff Kahn an der Rutgers University promoviert (Non-combinatorial approaches to combinatorial problems).[1] Er war an den ATT Bell Laboratories und bei Microsoft Research, war Professor an der Universität Yonsei und ist Professor am Korea Institute for Advanced Study.


1997 erhielt er den Fulkerson-Preis für seinen Beweis, dass die Ramsey-Zahl R(3,t){displaystyle R(3,t)}{displaystyle R(3,t)} asymptotisch von der Ordnung t2log⁡t{displaystyle {frac {t^{2}}{log t}}}{displaystyle {frac {t^{2}}{log t}}} ist. [2] Er befasst sich auch mit Informatik und Graphentheorie.



Weblinks |


  • Homepage am Korea Institute for Advanced Study


Einzelnachweise |




  1. ↑ Jeong Han Kim im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet


  2. ↑ Kim, The Ramsey Number R(3,t) Has Order of Magnitude t2/log t, Random Structures and Algorithms, Band 7, 1995, S. 173–207





















Personendaten
NAME
 Kim, Jeong Han
KURZBESCHREIBUNG
 südkoreanischer Mathematiker
GEBURTSDATUM
 20. Juli 1962
GEBURTSORT
Seoul



-

Popular posts from this blog

Volksrepublik China

Image
Dieser Artikel befasst sich mit der Volksrepublik China und ist nicht zu verwechseln mit der Republik China (Taiwan). Siehe auch China (Begriffsklärung). Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Ostasien eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Ostasien auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht signifikant verbessert werden können. Bitte hilf mit, die inhaltlichen Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion ! 中华人民共和国 Zhōnghuá Rénmín Gònghéguó Volksrepublik China Flagge Emblem Amtssprache Chinesisch (Hochchinesisch) und anerkannte Regionalsprachen 1 Hauptstadt Peking Staatsform Republik Regierungssystem Sozialistisches Einparteiensystem Staatsoberhaupt Staatspräsident Xi Jinping Regierungschef Ministerpräsident Li Keqiang Fläc...
Read more

How to test boost logger output in unit testing?

Image
up vote 1 down vote favorite My application uses BOOST_LOG_TRIVIAL to log messages. I thought it's good to check in test (gtest) that correct messages are written there in given scenarios. Is there a way to somehow access what was written there after code was called? Or does it first have to be mocked in some way? I have googled a lot for this and haven't found any instructions, so either I am asking wrong questions or no one thinks it should be done. c++ logging boost googletest boost-log share | improve this question edited yesterday ...
Read more

Write to the output between two pipeline

Image
up vote 1 down vote favorite I'm trying to write to the output (echo) within two pipe to have a trace of what I'm doing but I have an error. Get-ChildItem $path -Recurse | Where-Object { $_.Name -match '.+?.log.(d{4})-(d{2})-(d{2})$' -and $_.LastWriteTime -lt $deleteDate } | Write-Output "deleting file" -PassThru | Remove-Item but I have this error : Write-Output : The input object cannot be bound to any parameters for the command either because the command does not take pipeline input or the input and its properties do not match any of the parameters that take pipeline input. I also tested in the Foreach-Object function Get-ChildItem $path -Recurse | Where-Object { $_.Name -match '.+?.log.(d{4})-(d{2})-(d{2})$' -and $_.LastWriteTime -lt $deleteDate } | Foreach-Object...
Read more