উন্নত টাইপ কোয়ান্টাম প্রোগ্রামিং: ভাষা ডিজাইন এবং টাইপ সুরক্ষা

কোয়ান্টাম কম্পিউটিং ঔষধ, পদার্থ বিজ্ঞান এবং কৃত্রিম বুদ্ধিমত্তার মতো ক্ষেত্রগুলিতে বিপ্লব ঘটানোর প্রতিশ্রুতি রাখে। তবে, নির্ভরযোগ্য এবং পরিমাপযোগ্য কোয়ান্টাম সফটওয়্যার তৈরি করা উল্লেখযোগ্য চ্যালেঞ্জের সৃষ্টি করে। ঐতিহ্যবাহী প্রোগ্রামিং প্যারাডাইমগুলি কোয়ান্টাম সিস্টেমের অনন্য বৈশিষ্ট্য যেমন সুপারপোজিশন এবং এন্ট্যাঙ্গেলমেন্ট মোকাবিলায় প্রায়শই ব্যর্থ হয়। এটি নতুন প্রোগ্রামিং ভাষা এবং পদ্ধতির অন্বেষণকে অপরিহার্য করে তোলে যা কোয়ান্টাম গণনার জটিলতাগুলি কার্যকরভাবে পরিচালনা করতে পারে।

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

কোয়ান্টাম প্রোগ্রামিংয়ে টাইপ সিস্টেমের গুরুত্ব

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

কোয়ান্টাম প্রোগ্রামিংয়ে টাইপ সিস্টেমের নির্দিষ্ট সুবিধা:

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

কোয়ান্টাম রিসোর্স ব্যবস্থাপনার জন্য লিনিয়ার টাইপ

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

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

উদাহরণ: একটি লিনিয়ার টাইপ সিস্টেমে কিউবিট বরাদ্দ এবং পরিমাপ

আসুন, লিনিয়ার টাইপ সহ একটি কোয়ান্টাম প্রোগ্রামিং ভাষার জন্য একটি সরলীকৃত সিনট্যাক্স কল্পনা করি:

  
  // Allocate a qubit with linear type Qubit
  let q: Qubit = allocate_qubit();

  // Apply a Hadamard gate to the qubit
  let q' : Qubit = hadamard(q);

  // Measure the qubit and obtain a classical result (Int)
  let result: Int = measure(q');

  // The qubit 'q'' is consumed by the measure operation.
  // Attempting to use 'q'' after this point would result in a type error.

  print(result);
  

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

কোয়ান্টাম সার্কিট যাচাইকরণের জন্য ডিপেন্ডেন্ট টাইপ

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

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

উদাহরণ: ডিপেন্ডেন্ট টাইপ সহ একটি কোয়ান্টাম ফুরিয়ার ট্রান্সফর্ম (QFT) সার্কিট যাচাইকরণ

আসুন, এমন একটি পরিস্থিতি বিবেচনা করি যেখানে আমরা যাচাই করতে চাই যে *n* কিউবিটের জন্য একটি QFT সার্কিট সঠিকভাবে প্রয়োগ করা হয়েছে। আমরা একটি ডিপেন্ডেন্ট টাইপ সংজ্ঞায়িত করতে পারি যা QFT এর প্রত্যাশিত ইউনিটারি ট্রান্সফরমেশনকে ক্যাপচার করে:

  
  // Type representing a unitary transformation on n qubits
  type UnitaryTransformation(n: Int) = Matrix[Complex, 2^n, 2^n];

  // Dependent type representing the QFT unitary transformation
  type QFTUnitary(n: Int) = UnitaryTransformation(n) where UnitaryTransformation(n) == QFTMatrix(n);

  // Function that constructs the QFT unitary matrix for n qubits
  function QFTMatrix(n: Int): Matrix[Complex, 2^n, 2^n] {
    // Implementation details...
  }

  // Function that implements the QFT circuit for n qubits
  function qft_circuit(n: Int, qubits: Qubit[n]): Qubit[n] {
    // Circuit implementation...
  }

  // Verification: The circuit should produce the QFT unitary
  assert qft_circuit(n, qubits) : QFTUnitary(n);
  

এই উদাহরণে, `UnitaryTransformation(n)` *n* কিউবিটের উপর একটি ইউনিটারি ট্রান্সফরমেশনের ধরনকে বোঝায়। `QFTUnitary(n)` একটি ডিপেন্ডেন্ট টাইপ যা নির্দিষ্ট করে যে ইউনিটারি ট্রান্সফরমেশনটি *n* কিউবিটের জন্য QFT ম্যাট্রিক্সের সমান হতে হবে, যা `QFTMatrix(n)` ফাংশন দ্বারা গণনা করা হয়। `qft_circuit(n, qubits)` ফাংশন QFT সার্কিট প্রয়োগ করে। `assert` স্টেটমেন্টটি `QFTUnitary(n)` ডিপেন্ডেন্ট টাইপ ব্যবহার করে যাচাই করে যে সার্কিটটি সঠিক ইউনিটারি ট্রান্সফরমেশন তৈরি করে। টাইপ চেকারকে সিম্বোলিক এক্সিকিউশন বা অন্যান্য উন্নত কৌশল সম্পাদন করতে হবে এটি প্রমাণ করার জন্য যে সার্কিটটি এই সীমাবদ্ধতা পূরণ করে।

কোয়ান্টাম প্রোগ্রামিং ভাষা এবং টাইপ সিস্টেম

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

• Q# (মাইক্রোসফট): Q# হল কোয়ান্টাম প্রোগ্রামিংয়ের জন্য একটি ডোমেন-নির্দিষ্ট ভাষা যা মাইক্রোসফট কোয়ান্টাম ডেভেলপমেন্ট কিট (QDK) এর অংশ হিসাবে তৈরি করেছে। এতে একটি শক্তিশালী স্ট্যাটিক টাইপ সিস্টেম রয়েছে যা সাধারণ প্রোগ্রামিং ত্রুটি প্রতিরোধে সহায়তা করে। Q# কিউবিট এলিয়াসিং এবং নিয়ন্ত্রিত অপারেশনের মতো বৈশিষ্ট্য সমর্থন করে, যা জটিল কোয়ান্টাম অ্যালগরিদম তৈরির জন্য অপরিহার্য।
• Quipper (অক্সফোর্ড বিশ্ববিদ্যালয়): কুইপার হল একটি ফাংশনাল কোয়ান্টাম প্রোগ্রামিং ভাষা যা সার্কিট তৈরি এবং ম্যানিপুলেশনে জোর দেয়। এটি উচ্চ-ক্রম ফাংশন এবং ল্যাম্বডা এক্সপ্রেশন সমর্থন করে, যা এটিকে জটিল কোয়ান্টাম সার্কিট বর্ণনা করার জন্য উপযুক্ত করে তোলে। কুইপার একটি টাইপ সিস্টেম ব্যবহার করে যা কিউবিটগুলির সংযোগ ট্র্যাক করে, যা সার্কিটগুলি সঠিকভাবে গঠিত হয়েছে তা নিশ্চিত করতে সহায়তা করে।
• Silq (ETH জুরিখ): সিল্ক হল একটি উচ্চ-স্তরের কোয়ান্টাম প্রোগ্রামিং ভাষা যা নিরাপদ এবং অভিব্যক্তিপূর্ণ হওয়ার জন্য ডিজাইন করা হয়েছে। এতে একটি টাইপ সিস্টেম রয়েছে যা লিনিয়ারिटी প্রয়োগ করে এবং কিউবিট নকল প্রতিরোধ করে। সিল্কের লক্ষ্য হল কোয়ান্টাম প্রোগ্রামিংয়ের জন্য একটি আরও স্বজ্ঞাত এবং ব্যবহারকারী-বান্ধব ইন্টারফেস প্রদান করা, যা কোয়ান্টাম অ্যালগরিদমগুলি তৈরি এবং ডিবাগ করা সহজ করে তোলে।
• PyZX (অক্সফোর্ড): যদিও এটি একটি পূর্ণাঙ্গ প্রোগ্রামিং ভাষা নয়, PyZX হল একটি পাইথন লাইব্রেরি যা ZX ক্যালকুলাস ব্যবহার করে গ্রাফিকভাবে কোয়ান্টাম সার্কিট ম্যানিপুলেট করতে দেয়। ZX ক্যালকুলাস কোয়ান্টাম সার্কিট সরলীকরণ এবং অপ্টিমাইজ করার জন্য একটি শক্তিশালী সরঞ্জাম। PyZX মৌলিক টাইপ চেকিংয়ের জন্য পাইথনের টাইপ সিস্টেমকে পরোক্ষভাবে ব্যবহার করে, তবে প্রাথমিক ফোকাস কোয়ান্টাম সার্কিট সম্পর্কে ডায়াগ্রাম্যাটিক যুক্তির উপর।
• PennyLane (জ্যানাডু): পেনিলেইন হল কোয়ান্টাম মেশিন লার্নিং, কোয়ান্টাম কেমিস্ট্রি এবং কোয়ান্টাম কম্পিউটিংয়ের জন্য একটি ক্রস-প্ল্যাটফর্ম পাইথন লাইব্রেরি। এটি ব্যবহারকারীদের স্নায়ু নেটওয়ার্কগুলির মতোই কোয়ান্টাম কম্পিউটার প্রোগ্রাম করতে সক্ষম করে। যদিও পেনিলেইন পাইথনের টাইপিংয়ের উপর heavily নির্ভর করে, এটি সক্রিয় গবেষণার একটি ক্ষেত্র।
• Cirq (গুগল): সার্ক হল একটি পাইথন লাইব্রেরি যা কোয়ান্টাম সার্কিট লেখা, ম্যানিপুলেট করা এবং অপ্টিমাইজ করার জন্য, এবং তারপর সেগুলিকে কোয়ান্টাম কম্পিউটার এবং কোয়ান্টাম সিমুলেটরে চালানোর জন্য ব্যবহৃত হয়। সার্কও পাইথনের টাইপিংয়ের উপর নির্ভর করে এবং লিনিয়ার প্রয়োগ করে না।

চ্যালেঞ্জ এবং ভবিষ্যতের দিকনির্দেশনা

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

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

এই ক্ষেত্রে ভবিষ্যতের গবেষণার দিকনির্দেশনাগুলির মধ্যে রয়েছে:

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

উপসংহার

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