বিভাগে-তাত্ত্বিক কাঠামোর ব্যবহার করে এমন মনাদের প্রাকৃতিক ঘটনা


18

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

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

আমি বুঝতে পারি যে একটি মোনাড আসলে কী এবং একটি ধারণা প্রয়োগের ক্ষেত্রে (তত্ত্ব এবং অনুশীলন উভয় ক্ষেত্রে) কতটা সাধারণ হতে পারে। এটি কি সত্যই প্রচেষ্টা মূল্যবান, ফলাফল অনুসারে?

সুতরাং এই প্রশ্ন:

প্রাকৃতিক (সিএস অর্থে) এমন কিছু সমস্যা রয়েছে যার ভিত্তিতে স্নাতকের বিমূর্ত ধারণা প্রয়োগ করা যেতে পারে এবং কাঙ্ক্ষিত ফলাফলগুলি (বাইরে বা সর্বোপরি সুন্দর উপায়ে) পেতে সহায়তা করতে পারে (বা এমনকি উপকরণও)?


2
একটি সম্পূর্ণরূপে কার্যকরী প্রোগ্রামিং ভাষায় এনকোডিংয়ের রাজ্যগুলি? এটি কি প্রাকৃতিক যথেষ্ট সিএস সমস্যা?
স্টাফেন গিমেনেজ

2
কার্যকরী ভাষাগুলিতে প্রভাবগুলি পরিচালনার আরও সাধারণ সমস্যা হ'ল উদাহরণটি আমি সবচেয়ে বেশি দেখেছি: তত্ত্বটির জন্য, প্রভাবগুলির জন্য মনাদগুলি সেক্সি এবং অনুশীলনের জন্য, হাস্কেলের আইও মনাদ খুব সহজ y
jmad

এবং ক্লাসিক তুলনামূলক সুবিধাগুলি কি হবে, তুলনামূলকভাবে হালকা ওজনের শব্দার্থক? বিভাগীয় তত্ত্ব অনুসারে এফপি মনডগুলি কি একই জিনিস? প্রশ্ন উপর প্রশ্ন।
রাফেল

বিভাগ তত্ত্বের ব্যবহারের পরে আরও সাধারণ প্রশ্নের জন্য এই প্রশ্নটি cstheory.SE তে দেখুন ।
রাফেল

উত্তর:


6

কোনও গ্রুপ (গ্রুপ তত্ত্বের অর্থে) প্রাকৃতিক কিনা তা জিজ্ঞাসার সাথে মোনাদের ঘটনাটি স্বাভাবিক কিনা তা জিজ্ঞাসা করার অনুরূপ। একবার আপনি কোনও কিছুকে আনুষ্ঠানিক করে তোলেন, এ ক্ষেত্রে একটি এন্ডোফান্টর হিসাবে, হয় এটি মোনাদ হওয়ার স্বরূপকে সন্তুষ্ট করে বা না করে। এটি যদি স্বতঃসিদ্ধতাকে সন্তুষ্ট করে, তবে একজন বিনামূল্যে প্রচুর প্রযুক্তিগত যন্ত্রপাতি পান।

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

বার্ট জ্যাকবসের একটি বিশাল পরিমাণের কাজের জন্য , তবে একটি উদাহরণ বিবেচনা করে স্নাদ ব্যবহার করা হয়েছে। প্রচুর কাজ কয়লাজেব্রার কাছ থেকে আসে, এটি সিস্টেমের একটি সাধারণ তত্ত্ব। এই অঞ্চলে জ্যাকবদের একটি (অনেক) অবদান হ'ল ট্রেস শব্দার্থবিজ্ঞানের জেনেরিক ধারণার বিকাশ মনাদের উপর ভিত্তি করে সিস্টেমে (কোলজিব্রা হিসাবে বর্ণিত)। যে কেউ তর্ক করতে পারেন যে শব্দার্থবিজ্ঞানের ধারণাটি স্বাভাবিক: একটি সিস্টেমের শব্দার্থক শব্দটি কী? কর্মের তালিকা লক্ষ্য করা যায়!

স্নাতকে বোঝার একটি উপায় হ্যান্ডেল ব্যবহার করে প্রথমে হাস্কেলে প্রোগ্রাম করা। তারপরে উপলভ্য অনেকগুলি ভাল টিউটোরিয়াল খুঁজে বের করুন (গুগলের মাধ্যমে)। প্রোগ্রামিং কোণ থেকে শুরু করুন, তারপরে কিছু মৌলিক বিভাগের তত্ত্ব দিয়ে শুরু করে তাত্ত্বিক দিকে যান।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.