প্রায় 20 বছর আগে, আমি “বিশ্লেষণ I” নামে পরিচিত বিশ্লেষণে একটি পাঠ্যপুস্তক লিখেছিলাম। এটি প্রাকৃতিক সংখ্যা, পূর্ণসংখ্যা, যুক্তিযুক্ত সংখ্যা এবং রিয়েলগুলির পাশাপাশি শিক্ষার্থীদের উচ্চ স্তরে কঠোরতার প্রমাণ বিকাশের অনুমতি দেওয়ার জন্য পর্যাপ্ত সেট তত্ত্ব এবং যুক্তি সরবরাহের মতো ভিত্তিগত বিষয়গুলিতে আরও বেশি মনোনিবেশ করে সেখানে অনেকগুলি ভাল উপলভ্য বিশ্লেষণ পাঠ্যপুস্তকের পরিপূরক করার উদ্দেশ্যে করা হয়েছিল।
যখন বইটি লেখা হয়েছিল তখন কোকিউ বা এজিডিএর মতো কিছু প্রুফ সহকারীরা সুপ্রতিষ্ঠিত ছিল, তবে আনুষ্ঠানিক যাচাইকরণটি আমার রাডারে ছিল না। যাইহোক, এখন যেহেতু এই বিষয়টির সাথে আমার কিছু অভিজ্ঞতা আছে, আমি বুঝতে পারি যে এই বইয়ের বিষয়বস্তু আসলে এই জাতীয় প্রমাণ সহকারীদের সাথে খুব সামঞ্জস্যপূর্ণ; বিশেষত, ‘নিষ্পাপ প্রকারের তত্ত্ব’ যা আমি স্পষ্টভাবে স্ট্যান্ডার্ড নম্বর সিস্টেমগুলি নির্মাণের মতো কাজগুলি করতে ব্যবহার করছিলাম, ডোভেটেলগুলি লিনের নির্ভরশীল ধরণের তত্ত্বের সাথে ভালভাবে ব্যবহার করেছি (যা অন্যান্য বিষয়গুলির মধ্যেও কোটিয়েন্টের ধরণের জন্য দুর্দান্ত সমর্থন রয়েছে)।
আমি তাই একটি চালু করার সিদ্ধান্ত নিয়েছি “বিশ্লেষণ I” এর হাতা সঙ্গীযা পাঠের অনেকগুলি সংজ্ঞা, উপপাদ্য এবং ব্যায়ামের অনেকগুলি “অনুবাদ”। বিশেষত, এটি বইয়ের অনুশীলনগুলি সম্পাদনের একটি বিকল্প উপায় দেয়, পরিবর্তে চর্বিযুক্ত কোডে সংশ্লিষ্ট “সরিগুলি” পূরণ করে। (তবে আমি এই সঙ্গীর অনুশীলনগুলির “অফিসিয়াল” সমাধানগুলির হোস্টিংয়ের পরিকল্পনা করি না; পরিবর্তে, এই সোরিগুলি পূরণ করা হয়েছে এমন সংগ্রহস্থলের কাঁটাচামচ তৈরি করতে নির্দ্বিধায়))
বর্তমানে, পাঠ্যের নিম্নলিখিত বিভাগগুলি চর্বিগুলিতে অনুবাদ করা হয়েছে:
আনুষ্ঠানিককরণটি ইচ্ছাকৃতভাবে স্ট্যান্ডার্ড লিন ম্যাথ লাইব্রেরি থেকে পৃথক হওয়ার জন্য ডিজাইন করা হয়েছে ম্যাথলিব কিছু জায়গায়, তবে অন্যদের উপর এটির উপর নির্ভরশীল। উদাহরণস্বরূপ, ম্যাথলিব ইতিমধ্যে প্রাকৃতিক সংখ্যার একটি স্ট্যান্ডার্ড ধারণা রয়েছে 
। পাতলা আনুষ্ঠানিককরণে, আমি প্রথমে একটি বিকল্প নির্মাণ “হাতে” বিকাশ করি Chapter2.Nat প্রাকৃতিক সংখ্যার (বা ন্যায়সঙ্গত Natযদি কেউ কাজ করে Chapter2 নেমস্পেস), এই বিকল্প প্রাকৃতিক সংখ্যাগুলি সম্পর্কে অনেকগুলি প্রাথমিক ফলাফল সেট আপ করা যা অনুরূপ লেমাস সম্পর্কে সমান্তরাল যা ইতিমধ্যে ম্যাথলিবে রয়েছে (তবে এই লেমাসের অনেকগুলি পাঠকের কাছে অনুশীলন হিসাবে সেট করে, প্রমাণগুলি বর্তমানে “সরিগুলি” দিয়ে প্রতিস্থাপন করা হয়েছে)। তারপরে, একটি এপিলোগ বিভাগে, এই বিকল্প প্রাকৃতিক সংখ্যা এবং ম্যাথলিব প্রাকৃতিক সংখ্যার মধ্যে আইসোমর্ফিজমগুলি প্রতিষ্ঠিত হয় (বা আরও স্পষ্টভাবে, অনুশীলন হিসাবে সেট করা)। সেদিক থেকে, অধ্যায় 2 প্রাকৃতিক সংখ্যাগুলি হ্রাস করা হয় এবং পরিবর্তে ম্যাথলিব প্রাকৃতিক সংখ্যাগুলি ব্যবহার করা হয়। আমি পুরো বই জুড়ে এই সাধারণ প্যাটার্নটি চালিয়ে যাওয়ার ইচ্ছা করি, যাতে একজন পরবর্তী অধ্যায়গুলিতে অগ্রসর হওয়ার সাথে সাথে একজন ক্রমবর্ধমান ম্যাথলিবের সংজ্ঞা এবং ফাংশনগুলির উপর নির্ভর করে, পরিবর্তে পূর্বের অধ্যায়গুলির কোনও অংশকে সরাসরি উল্লেখ করার পরিবর্তে। এই হিসাবে, এই সহচরকে হাতা এবং ম্যাথলিবের পাশাপাশি বাস্তব বিশ্লেষণের পরিচয় হিসাবেও ব্যবহার করা যেতে পারে (কিছুটা “এর চেতনায় কিছুটা”প্রাকৃতিক নম্বর গেম“, যা আসলে আমার পাঠ্যের দ্বিতীয় অধ্যায়টির সাথে উল্লেখযোগ্য থিম্যাটিক ওভারল্যাপ রয়েছে)।
(একটি প্রযুক্তিগত দ্রষ্টব্য: আমার নিজের সুবিধার জন্য, আমি এই সঙ্গীকে আমার আরেকটি সংগ্রহস্থলের একটি উপ -ডিরেক্টরি হিসাবে রেখেছি, যা এই পূর্ববর্তী ব্লগ পোস্টে আলোচিত মাত্রার আদেশের তত্ত্বকে আনুষ্ঠানিককরণ করার লক্ষ্যে ছিল। আমি শেষ পর্যন্ত এই সহকর্মীকে তার নিজস্ব সংগ্রহস্থলে বিভক্ত করতে পারি, তবে আমি মনে করি এটি একই রেপোসিটরির দুটি বৃহতভাবে স্বাধীন প্রকল্পগুলির হোস্ট করা কার্যকর)
এই সংগ্রহস্থলের কোডটি চর্বিযুক্ত সংকলন করে, তবে কোডের সমস্ত (অসংখ্য) “সরি” আসলে পূরণ করা যায় কিনা তা আমি পরীক্ষা করি নি (যেমন, যদি সমস্ত অনুশীলনগুলি আসলে চর্বিযুক্ত সমাধান করা যায়)। আমি স্বেচ্ছাসেবককে “প্লেস্টেস্ট” করতে আগ্রহী হব এটি দেখতে পারে কিনা তা দেখার জন্য (এবং যদি চর্বিযুক্ত ফাইলগুলিতে সরবরাহিত সহায়ক লেমমাস বা “এপিআই” যদি আরও মজাদার পাতলা প্রোগ্রামিং কৌশলগুলির উপর নির্ভর না করে ধারণাগতভাবে সোজা পদ্ধতিতে সরিগুলি পূরণ করার জন্য যথেষ্ট হয়)। অন্য কোনও প্রতিক্রিয়া অবশ্যই স্বাগত জানাবে।
