তাত্ত্বিক কম্পিউটার বিজ্ঞানের গবেষণায় বিভাগীয় তত্ত্ব এবং স্নাতকের অবস্থা কী?


17

পটভূমি । আমি একজন ব্যাচেলর শিক্ষার্থী যিনি বিভাগের তত্ত্ব, মোনাডস এবং হাস্কেল সম্পর্কিত গবেষণায় আগ্রহী এবং আমি সে ক্ষেত্রে আমার ব্যাচেলর থিসিসের জন্য একটি বিষয় সন্ধান করতে চাই।

আমি কাগজের দিকে তাকালাম

এবং আমি এখনও এর অনেক কিছুই বুঝতে পারি না। এটি পুরোপুরি বুঝতে আমার সম্ভবত কিছুটা সময় প্রয়োজন হবে। তবে এটি অধ্যয়ন করার জন্য আরও বেশি সময় ব্যয় করার আগে, আমি ক্ষেত্র এবং এর গবেষণা সম্ভাবনার বিষয়ে আরও ভাল ধারণা পেতে চাই। আমি সম্প্রতি আমার এক অধ্যাপকের সাথে এটি সম্পর্কে কথা বলেছি এবং তিনি আমাকে বলেছিলেন যে নব্বইয়ের দশকে গবেষণা সম্প্রদায়ের মধ্যে মনাদ ফ্যাশন ছিল, তবে আজকাল তারা ফ্যাশনের বাইরে রয়েছে।

অতএব , আমি এখন মনদেহ সম্পর্কিত সাম্প্রতিক কাজ খুঁজছি, এবং অবাক হয়ে:

  • তাত্ত্বিক কম্পিউটার বিজ্ঞানের কোন ক্ষেত্রে আজকাল গবেষণাটি করা হয় যা বিভাগের তত্ত্ব এবং মনডের সাথে সম্পর্কিত?
  • প্রোগ্রামিং তত্ত্বে ই। মোগগীর স্নাতকের বিষয়ে কোন ধরণের গবেষণা নির্মিত হয়েছে বা প্রস্তাবিত হয়েছে? তার কাগজের সাথে সম্পর্কিত কোনও গবেষণা বা চলছে?

আমরা এই প্রশ্নের উত্তর দেওয়ার আগে: এটি গবেষণা-স্তর নয় কি? এটি সিএসস্টেকেক্সচেঞ্জ ডট কমের জন্য আরও উপযুক্ত।
আন্দ্রেজ বাউর

3
@ আন্ড্রেজবাউর আমার স্নাতক থিসিসটি গবেষণার স্তর হতে পারে না, তবে আমার প্রশ্নটি বর্তমান গবেষণা বা কমপক্ষে গত দশকে করা গবেষণাকে সম্বোধন করে।
k.stm

9
@ আন্দ্রেজবাউর আমি একমত নই বোনের সাইটটি বেশিরভাগ হোমওয়ার্কের প্রশ্নের জন্য, তবে এখানে বিশেষজ্ঞের মতামত প্রয়োজন।
যুবাল ফিল্মাস

@ কাভেঃ এটি আপনার সবেমাত্র সম্পাদিত বেশ কঠোর সম্পাদনা ছিল। আপনি কিছু পয়েন্ট উন্নত করেছেন, কিন্তু এখন এটি আসলে আমি আর জিজ্ঞাসা করছি এমন প্রশ্ন নয়। আগামীকাল আমার যখন সময় হবে তখন আমি আপনার কিছু পরিবর্তন রোলব্যাক করব। উদাহরণস্বরূপ, সেখানে আমার পটভূমি থাকা আমার পক্ষে গুরুত্বপূর্ণ। আপনি কী পরিবর্তনগুলি প্রয়োজনীয় বলে মনে করেন তা আমাকে বলুন এবং কেন তাই আমি জানি কী কী রোলব্যাক করবেন না।
কে.স্টেমে

1
@ ইউভাল, আমি মনে করি কম্পিউটার বিজ্ঞানের অনেক লোক আপনার মন্তব্যের সাথে দৃ strongly়ভাবে একমত হবে না যে এটি মূলত হোমওয়ার্কের জন্য এবং বিশেষজ্ঞরা কম্পিউটার বিজ্ঞানে উপস্থিত নন । এক্ষেত্রে আন্ড্রেজ কম্পিউটার বিজ্ঞানে 100 টিরও বেশি প্রশ্নের উত্তর দিয়েছেন ।
কাভেহ

উত্তর:


15

ইউজিনিও মোগগীর কাজকালের পর থেকে গণনা তত্ত্বে স্নাতকের ব্যবহারের সাথে সম্পর্কিত বিভিন্ন ঘটনা ঘটেছে। আমি একটি বিস্তৃত অ্যাকাউন্ট দিতে সক্ষম নই, তবে এখানে আমি কয়েকটি পয়েন্টের সাথে পরিচিত যা অন্যরা তাদের উত্তরগুলি দিয়ে চিমিয়ে নিতে পারে।

মনাদের নির্দিষ্ট উদাহরণ

আপনাকে সর্বদা অতি-সাধারণ তত্ত্বটি অধ্যয়ন করতে হবে না। মোনাডের উদাহরণ রয়েছে যা পুরো আন্ডারগ্রাজুয়েট থিসিসটি পূরণ করতে খুব আকর্ষণীয় এবং যথেষ্ট জটিল।

আমি ড্যান পিপোনির ব্লগটি খুব পছন্দ করি যেখানে তিনি ফাংশনাল প্রোগ্রামিং এবং গণিতের মিশ্রণে মনাদের কীভাবে ব্যবহার করা যায় তার আশ্চর্য উদাহরণ দেয়। উদাহরণস্বরূপ, মনডের মাধ্যমে গিঁট এবং বেড়ি সম্পর্কে তাঁর কাজ অনুসন্ধান করুন।

পড়াশোনা মূল্যবান আরেকটি সুনির্দিষ্ট উদাহরণ মার্টিন এসকার্ডো এবং পাওলো অলিভা নির্বাচনের ক্রিয়াকলাপের প্রসঙ্গে দিয়েছেন, তাদের নির্বাচন ফাংশন, বার পুনরাবৃত্তি, এবং পশ্চাদপদ আনয়ন দেখুন বা সম্ভবত আগ্রহী হওয়ার জন্য প্রথমে কি সিক্যুয়ালিয়াল গেমস, টাইকনফ থিওরেম এবং ডাবল অস্বীকৃতি শিফট কমন আছে (যুক্ত Haskell, এবং Agda ফাইল এখানে )।

গাণিতিক পটভূমি

মনাদাগুলি বিভাগ তত্ত্ব থেকে আসে এবং ইউজিনিও মোগগির চেয়ে অনেক বেশি বয়সী। আপনি যদি গাণিতিকভাবে ঝুঁকে থাকেন তবে আপনি পটভূমি তত্ত্বটি অধ্যয়ন করতে পারেন। উদাহরণস্বরূপ, আপনি বেকের একাকীত্বের উপপাদ্য আক্রমণ করতে পারেন । একজন তাত্ত্বিক কম্পিউটার বিজ্ঞানী কখনই খুব বেশি গণিত জানেন না।

একটি থিমের বিভিন্নতা

আপনি এমন কোনও কিছু দেখতে পেলেন যা কঠোরভাবে মনড নয়।

উদাহরণস্বরূপ, কর্নার ম্যাকব্রাইড এবং রস পেটারসনের আইডিয়ামস: এফেক্টস সহ অ্যাপ্লিকেশনাল প্রোগ্রামিংয়ে দেখা যায় যে কীভাবে কোনও ব্যক্তি প্রাকৃতিকভাবে প্রাসঙ্গিক এবং অন্তর্দৃষ্টিপূর্ণ এমন কিছুতে মনডকে সাধারণীকরণ করতে পারে।

অথবা আপনি কমুনাডগুলি কম্পিউটারের প্রভাবগুলির মডেল হিসাবে কীভাবে ব্যবহৃত হয় তা দেখতে পারেন। কারও এই বিষয়টির জন্য কিছু রেফারেন্সের পরামর্শ দেওয়া উচিত, তবে ডেভিড ওভারটনের স্লাইডগুলি হতে পারে একটি ভাল শুরু ।

মডেল টাইপ তত্ত্ব

হোমোপি টাইপ তত্ত্বের পাশাপাশি সাধারণভাবে টাইপ থিওরিতে মোডালগুলি মডেল টাইপ তত্ত্বের আকারে উপস্থিত হয় । সম্প্রতি মডেল টাইপ থিওরিটি হোমোপি টাইপ থিওরিতে বিবেচিত হয়েছে কারণ ট্র্যাঙ্কেশন অপারেটরগুলি মডেল অপারেটরগুলির উদাহরণ। এবং তারপরে একটি সম্মিলিত হোমোপপি টাইপ তত্ত্ব রয়েছে যেখানে মডেল অপারেটররা (যা মনড) একটি অপরিহার্য ভূমিকা পালন করে।

বীজগণিতের প্রভাব এবং হ্যান্ডলারগুলি

[অস্বীকৃতি: আংশিকভাবে আমার নিজস্ব শিং এখানে ফুঁকছে]]

কিছুক্ষণ আগে গর্ডন প্লটকিন এবং জন পাওয়ার পর্যবেক্ষণ করেছিলেন যে অনেকগুলি কম্পিউটেশনাল ইফেক্ট কেবল কোনও মনড নয়, বীজগণিত তত্ত্ব থেকে উদ্ভূত বিশেষ মনড হয়। এটি বীজগণিত প্রভাব হিসাবে পরিচিত কম্পিউটারের প্রভাবগুলির সম্পূর্ণ নতুন চিকিত্সার দিকে পরিচালিত করে । পরবর্তীতে গর্ডন প্লটকিন এবং মাতিজা প্রিটনার হ্যান্ডলারের পরিচয় করিয়ে দিয়েছিলেন এবং বীজগণিতের প্রভাবগুলির সাথে একত্রে তারা কম্পিউটেশনাল ইফেক্টের একটি খুব সুন্দর তত্ত্ব গঠন করেন। এই পদ্ধতির একটি সুবিধা হ'ল বীজগণিত তত্ত্বগুলি সহজেই একত্রিত করা যায় যখন ম্যানডগুলি পারে না।

আপনি অধ্যয়ন করতে পারেন ঠিক কীভাবে বীজগণিতের প্রভাবগুলি মনাদের সাথে সম্পর্কিত। আপনি কীভাবে লোকেরা বীজগণিতের প্রভাবগুলি এবং হ্যান্ডলারগুলি প্রয়োগ করেছিলেন, এফ ভাষায় বা হাস্কেলের লাইব্রেরি হিসাবে বলতে পারেন । এটি কম-বেশি বর্তমান গবেষণা।


হাই, এই উত্তরের জন্য ধন্যবাদ! আমি এফ সম্পর্কে আপনার ওয়েবসাইটে ক্লিক করেছি এবং দেখে মনে হচ্ছে বীজগণিত প্রভাব এবং হ্যান্ডলারের একটি পরিচিতির লিঙ্কটি পুরানো, অর্থাত্ ফাইলটি eff-lang.org/handlers-tutorial.pdfঅনুপস্থিত।
k.stm

1
আমি মাতিজাকে লিঙ্কটি ঠিক করতে বলেছিলাম, ইতিমধ্যে আপনি arxiv.org/abs/1203.1539 এ দেখতে পারেন ।
আন্দ্রেজ বাউর

আমি ইতোমধ্যেই. আপনার কাগজটি বোঝার জন্য আপনি কি ব্যাকগ্রাউন্ড থিওরির জন্য আমার অধ্যয়ন করা উচিত তার কিছু সংক্ষিপ্ত বিবরণ দিতে পারেন? আমি কিছু বিভাগের তত্ত্ব, টাইপড ল্যাম্বদা ক্যালকুলাস এবং গণনার কিছু প্রাথমিক তত্ত্ব এবং প্রোগ্রামিংয়ের প্রাথমিক তত্ত্ব জানি (নোটোট্যাশনাল শব্দার্থকগুলি কী তা আমি জানি) তবে এ পর্যন্ত খুব বেশি কিছু নেই। উদাহরণস্বরূপ, আমি ইতিমধ্যে আপনার কাগজের বিভাগ 3 থেকে বলতে পারি যে টাইপিংয়ের নিয়মগুলি (যাতে সম্ভবত টাইপড ল্যাম্বডা ক্যালকুলাসেও) খতিয়ে দেখা উচিত। দুঃখিত যদি আমি এখানে ধাক্কা খাচ্ছি।
k.stm

3
আপনার সর্বজনীন বীজগণিত এবং / অথবা লাভওয়েরের বীজগণিত তত্ত্ব সম্পর্কে কিছুটা জানা উচিত। আপনি যদি টাইপিংয়ের নিয়মগুলির সাথে পরিচিত না হন তবে আপনি প্রোগ্রামিং ভাষার উপর সাধারণ পাঠ্যপুস্তক যেমন বেনজামিন পিয়ার্সের টিএপিএল বা বব হার্পারের প্রোগ্রামিং ভাষার প্রাক্টিক্যাল ফাউন্ডেশনগুলি অধ্যয়ন করতে পারেন ।
আন্দ্রেজ বাউয়ার

1

এই কাগজটি স্নাদ ব্যবহার করে সাম্প্রতিক কিছু গুরুত্বপূর্ণ কাজ দেয়।


1
হাই, আপনার উত্তরের জন্য ধন্যবাদ। আমি একটি সামান্য প্রসঙ্গে প্রশংসা করব, আপনি যদি কিছু বিশদ দেওয়ার জন্য সময়টি ব্যয় করতে পারেন তবে তা। (প্রকৃতপক্ষে কাগজটির বিষয়বস্তু সম্পর্কে চমৎকার পরিচয় রয়েছে, তবে আমি তার আশেপাশের কিছু প্রসঙ্গ দেখতে চাই, যেমন সম্পর্কিত কোনও কাজ এবং এর মতো যদি থাকে))
কে.এসটিএম
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.