کارگاه معرفی Sage توسط یکی از نویسندگانش

این هفته آقای Thierry Monteil از اساتید  LAAS-CNRS و INSA Toulouse مهمان ما در ایران هستند. موضوع اصلی پژوهش ایشان که بیشتر به ما مربوط است، مدل‌های نامتداول محاسباتی است.

اگر با اساتید قبلی فرانسوی و ارائه‌هایشان آشنا باشید، مثلا مدل محاسباتی ماشین سیگنال را می‌شناسید. در این مدل با سیگنال‌هایی که حرکت می‌کنند در فضای یک-بعدی و با تعریف یک سری قواعد برای برخورد آن‌ها، می‌توان یک ماشین محاسباتی تعریف کرد. به این ماشین، ماشین سیگنال می‌گویند. می‌توان نشان داد که ماشین سیگنال قدرت محاسباتی بیشتری از ماشین تورینگ دارد، یعنی هرآنچه ماشین تورینگ می‌تواند حل کند، توسط ماشین سیگنال هم قابل حل کردن است و البته چیزهایی هستند که ماشین سیگنال می‌تواند حل کند ولی ماشین تورینگ نمی‌تواند. هم‌چنین ایشان کارهایی در مورد محاسبات با نور انجام داده‌اند.

علاوه بر فعالیت در زمینه‌های بالا، ایشان از توسعه‌دهندگان نرم‌افزار Sage هستند. قرار شد ایشان ارائه در دانشگاه شریف داشته باشند که در آن در مورد نرم‌افزار Sage صحبت کنند. پوستر ارائه ایشان در ادامه آمده است:

ایشان خودشان به سروکله زدن با کامپیوتر و نرم‌افزارها و دانشجویان علاقه‌مند بودند. در نتیجه اگر با ایشان کاری دارید می‌توانید بعد از ارائه‌شان به ایشان مراجعه کنید.

احتمالا شنبه بعدازظهر هم یک ارائه داشته باشند در دانشکده علوم و فنون نوین دانشگاه تهران.

سعی می‌کنیم جلساتی هم با ایشان بگذاریم ببینیم می‌توانیم با ایشان هم‌کاری داشته باشیم یا خیر.




جالب بود؟

نوشته‌های دیگری که شاید برای شما جالب باشند:

  • بسم الله الرحمن الرحیم
  • کلیدواژه auto در C++
  • ترنسفورمرها، منابعی برای یادگیری‎
  • نقد کتاب «اندازه‌گیری دنیا»‎
  • درس «ماشین و ذهن»، درسی مناسب برای تدریس