https://sewonpark.com/ 2026-04-24T12:47:24+00:00 https://sewonpark.com/ https://sewonpark.com/_media/wiki/logo.png text/html 2023-09-26T12:24:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/bib?rev=1695731087&do=diff @conference_talk{talk_CCC_2023, title = {Verifying iRRAM-like implementation of exact real computation}, conference = {Continuity, Computability, Constructivity - From Logic to Algorithms }, conference_short = {CCC 2023}, conference_link = {https://www.i.h.kyoto-u.ac.jp/ccc2023/}, date_start = {2023-09-25}, date_end = {2023-09-29}, place_city = {Kyoto}, place_country = {Japan}, authors = {Sewon Park,Holger Thies}, speaker = {Sewon Park}, date = {2023-09-26}, invited = {false}, online = {false} … text/html 2025-11-10T15:28:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/choice?rev=1762788490&do=diff <iframe src=“<https://sewonpark.com/html/evil_spreads.html>” width=“1000” height=“600”></iframe> text/html 2021-09-24T09:08:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/conference_list?rev=1632474498&do=diff Conference List This page organizes a list of conferences related to my area mainly from the call for papers I received from mailing lists. The conferences below are sorted according to their paper submission deadlines. Be careful that the data below can be not up-to-date. text/html 2023-09-19T04:29:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/conference_talks?rev=1695097768&do=diff This is test page for db <datatables> <sql>select * from conference_talks;</sql> </datatables> <phpwikify> $dbhost = “localhost”; $dbuser = “forsythiasw”; $dbpass = “Z8z-p8U-Ent-6Ft”; $dbname = “forsythiasw”; $conn = mysqli_connect ($dbhost, $dbuser, $dbpass, $dbname); if (!$conn) { die ($result = $ text/html 2021-09-13T15:21:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/exact_real_computation?rev=1631546484&do=diff Exact Real Computation Exact real (number) computation is not a concrete mathematical notion that has a conventional meaning. To some speakers, the terminology is used as the name of a specific programming language. To some speakers, it denotes a notion or a paradigm of computing where manipulating real numbers are involved. The first case is (or will be) introduced in a separate article. In this article, we mainly focus on the second. text/html 2025-03-23T15:28:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/haruka?rev=1742743711&do=diff love! text/html 2021-09-13T04:08:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/holger_thies?rev=1631506111&do=diff Holger Thies Holger Thies is a German mathematician. He is a lecturer at Kyoto University, Japan. His research includes topics in constructive analysis, computable analysis, type theory, and exact real computation programming. External Links * Holger Thies homepage text/html 2021-09-13T07:07:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/juseong_maeng?rev=1631516860&do=diff Juseong Maeng Juseong Maeng is a Korean entrepreneur. After graduating KAIST Industrial System Engineering in 2016, he joined Bain & Company. There, he worked as a management consultant. Few years later, he left the company and started to found various startups. text/html 2025-01-01T13:10:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/notes?rev=1735737039&do=diff Notes This page provides the links to my notes. text/html 2021-09-24T11:03:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/papers_to_read?rev=1632481381&do=diff Papers To Read This page list papers that I am planning to read. Neumann, Eike. “Uniform Envelopes.” arXiv preprint arXiv:2103.16156 (2021). text/html 2025-02-13T10:53:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/papers?rev=1739444003&do=diff Papers This is my private page for collecting my published papers. It is not intended for irresponsibly sharing copyrighted publications with the public.🤞 Michal Konečný, Sewon Park, and Holger Thies : "Extracting efficient exact real number computation from proofs in constructive type theory (2024)" Oxford University Press – Journal of Logic and Computation (JLC), published online in advance in October 2024 text/html 2025-06-30T11:55:21+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/questions?rev=1751284521&do=diff Questions! Whenever I come up with a question, I either try to resolve it by asking someone who might know, looking it up myself on Google or in the literature, or just giving up. That’s one cycle, and often the same question comes back later, and I realize I never really figured it out or forgot what I had concluded. To avoid wasting time like that, I’ve decided to organize this page to keep track of questions and what conclusions I reached. None of the posts should be taken as verified facts,… text/html 2025-06-22T14:10:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/sayonara-sale?rev=1750601450&do=diff Moving Sale 2025 Please contact me if you are interested in any of the items below. For smaller items, I can bring them to the university or nearby places around 一乗寺. Feel free to ask if you’re interested in additional discounts. Refrigerator text/html 2026-04-20T09:11:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/sewon_park?rev=1776676271&do=diff Sewon Park (박세원) English　｜　日本語 DBLP <https://dblp.org/pid/185/0952-1.html>　・　GitHub <https://github.com/park-sewon>　・　Google Scholar <https://scholar.google.co.kr/citations?user=7Yj_Ax4AAAAJ&hl=en>　・　LinkedIn sewon-park-83a446205　・　ORCID <https://orcid.org/0000-0002-6443-2617>　・　Research Map <https://researchmap.jp/sewonpark>　・　COBISS <https://bib.cobiss.net/bibliographies/si/webBiblio/bib201_20260420_110802_61238.html> * none of the above profiles is being actively maintained. Only this webp… text/html 2023-09-15T03:02:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/start?rev=1694746947&do=diff text/html 2021-09-13T07:03:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/sungjoong_kim?rev=1631516580&do=diff Sungjoong Kim Sungjoong Kim is a PhD student at KAIST majoring aerospace engineering. text/html 2021-09-13T04:19:09+00:00 Anonymous (anonymous@undisclosed.example.com) https://sewonpark.com/thesis?rev=1631506749&do=diff Thesis A pdf file of the PhD dissertation of Sewon Park can be found hereA pdf file of the master dissertation of Sewon Park can be found here